diff options
| author | Ayberk Tosun <ayberk.tosun@gmail.com> | 2017-08-21 16:28:10 +0300 |
|---|---|---|
| committer | Ayberk Tosun <ayberk.tosun@gmail.com> | 2017-08-21 16:28:10 +0300 |
| commit | 36b5707b5a8cdcf7e5388b2b0976c84386ae6709 (patch) | |
| tree | c0718eeeaeffffe0e572183f90aa03775bf76fc5 /examples | |
| parent | efa60951f9da66c9e4d5d38af506de74e7570b74 (diff) | |
| parent | 38fd84a28c08ec1bc2b8dba84b4bbf09039cd794 (diff) | |
Merge remote-tracking branch 'remotes/upstream/master'
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 |