From 1658aea60f56cfedcef3101c5590fd21f65d57fb Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 24 Aug 2010 14:17:09 +0000 Subject: [PATCH] silence in Compile in phrasebook --- examples/phrasebook/Compile.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/examples/phrasebook/Compile.hs b/examples/phrasebook/Compile.hs index 538f31fcd..47ad15275 100644 --- a/examples/phrasebook/Compile.hs +++ b/examples/phrasebook/Compile.hs @@ -29,10 +29,13 @@ main = do else return () case opts of _ | elem "-make" opts || elem "-link" opts -> do - system $ "gf -make " ++ unwords (map (++ ".pgf") modus) + system $ "gf -make -s " ++ unwords (map (++ ".pgf") modus) return () _ -> return () -compileOne modu = system $ "gf -make -name=" ++ modu ++ " " ++ modu ++ ".gf" +compileOne modu = do + let comm = "gf -make -s -name=" ++ modu ++ " " ++ modu ++ ".gf" + putStrLn comm + system comm mkFile la = if length la == 3 then mainmodu ++ la else la