diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-17 15:13:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-17 15:13:44 +0000 |
| commit | 9c43c2bae3a08cbfaaf86806e30619e0e65b4573 (patch) | |
| tree | d05cba34cc5aeb325df2f5bf8519c394d728da38 | |
| parent | ee37c6d34d2cae7529342951256c25c0f7662730 (diff) | |
examples/phrasebook/Makefile2: Finnish needs a larger stack
| -rw-r--r-- | examples/phrasebook/Makefile2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/phrasebook/Makefile2 b/examples/phrasebook/Makefile2 index 71f59279f..005c8f35b 100644 --- a/examples/phrasebook/Makefile2 +++ b/examples/phrasebook/Makefile2 @@ -22,7 +22,7 @@ PhrasebookDut.pgf:: gf -make -s -optimize-pgf -name=PhrasebookDut PhrasebookDut.gf PhrasebookFin.pgf:: - gf -make -s -optimize-pgf -name=PhrasebookFin PhrasebookFin.gf + gf -make -s -optimize-pgf -name=PhrasebookFin PhrasebookFin.gf +RTS -K32M PhrasebookFre.pgf:: gf -make -s -optimize-pgf -name=PhrasebookFre PhrasebookFre.gf |