diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/app/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/app/Makefile b/examples/app/Makefile index 7c004600e..a69df95de 100644 --- a/examples/app/Makefile +++ b/examples/app/Makefile @@ -33,6 +33,9 @@ App15.pgf: $(APP15) App16.pgf: $(APP16) $(GFMKT) -name=App16 $(APP16) +RTS -K200M +App17.pgf: $(APP17) + $(GFMKT) -name=App16 $(APP17) +RTS -K200M + # Without dependencies: App11: $(GFMKT) -name=App11 $(APP11) +RTS -K200M |