diff options
Diffstat (limited to 'unix/make.linux64.sh')
| -rwxr-xr-x | unix/make.linux64.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/make.linux64.sh b/unix/make.linux64.sh index 5600324..14fd216 100755 --- a/unix/make.linux64.sh +++ b/unix/make.linux64.sh @@ -4,7 +4,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make -f Makefile.linux64) (cd ../libraries/ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile all); -$CLM -gcm -h 40M -nt -nw -ci -nr -I backend -I frontend -I main -I main/Unix \ +$CLM -gcm -h 48M -nt -nw -ci -nr -I backend -I frontend -I main -I main/Unix \ -I ../libraries/ArgEnvUnix \ -l ../libraries/ArgEnvUnix/ArgEnvC.o \ -l main/Unix/Clean\ System\ Files/cDirectory.o \ |