mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-26 01:33:18 -06:00
memory on demo/Compile
This commit is contained in:
1 parent
96cbe372e0
commit
2982187b98
1 file changed
+1
-1
+1
-1
@@ -38,7 +38,7 @@ main = do
|
||||
compileOne modu = do
|
||||
let comm = "gf -make -s -optimize-pgf -name=" ++
|
||||
modu ++ " " ++ modu ++ ".gf" ++
|
||||
" +RTS -K32M"
|
||||
" +RTS -K320M"
|
||||
putStrLn comm
|
||||
system comm
|
||||
|
||||
|
||||
Reference in new issue
Block a user