diff options
Diffstat (limited to 'examples/phrasebook/Compile.hs')
| -rw-r--r-- | examples/phrasebook/Compile.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/phrasebook/Compile.hs b/examples/phrasebook/Compile.hs index 0797b5ded..5945e62e6 100644 --- a/examples/phrasebook/Compile.hs +++ b/examples/phrasebook/Compile.hs @@ -36,7 +36,9 @@ main = do _ -> return () compileOne modu = do - let comm = "gf -make -s -optimize-pgf -name=" ++ modu ++ " " ++ modu ++ ".gf" + let comm = "gf -make -s -optimize-pgf -name=" ++ + modu ++ " " ++ modu ++ ".gf" ++ + " +RTS -K32M" putStrLn comm system comm |