diff options
Diffstat (limited to 'unix')
| -rwxr-xr-x | unix/make.linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/make.linux.sh b/unix/make.linux.sh index 94712b1..7078c5f 100755 --- a/unix/make.linux.sh +++ b/unix/make.linux.sh @@ -4,7 +4,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make) (cd ../libraries/ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile all); -$CLM -h 16M -nt -nw -ci -ns -nr -I backend -I frontend -I main -I main/Unix \ +$CLM -h 20M -nt -nw -ci -ns -nr -I backend -I frontend -I main -I main/Unix \ -I ../libraries/ArgEnvUnix \ -l ../libraries/ArgEnvUnix/ArgEnvC.o \ -l main/Unix/cDirectory.o \ |