diff options
| author | Aarne Ranta <aarne@chalmers.se> | 2017-08-21 16:20:13 +0300 |
|---|---|---|
| committer | Aarne Ranta <aarne@chalmers.se> | 2017-08-21 16:20:13 +0300 |
| commit | f7312b3f4cf68064335bfce0e93811974505f3bd (patch) | |
| tree | 50a2dd613e8bea17ea2223d9e0300bee203801c5 /examples/app | |
| parent | 74fd6eef3b416ea07cbf21f254d397c2c534bfd9 (diff) | |
ChunkJpn import list updated
Diffstat (limited to 'examples/app')
| -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 |