diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-21 20:42:52 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-21 20:42:52 +0200 |
| commit | 6647ed0aebebff766bda207e5896dc3c20a26fb2 (patch) | |
| tree | aa95ce96599ecedbbccb29c840ccac3c75a67520 /examples | |
| parent | dbac0b184f7aad3df33a28983937d5f2de8ae920 (diff) | |
| parent | 38fd84a28c08ec1bc2b8dba84b4bbf09039cd794 (diff) | |
Merge branch 'master' of www.grammaticalframework.org:/usr/local/www/GF
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 |