diff options
author | ronny | 2002-07-03 09:23:49 +0000 |
---|---|---|
committer | ronny | 2002-07-03 09:23:49 +0000 |
commit | fca87092cfc82b495bfbea9934f51b0be2fc0af1 (patch) | |
tree | 279d102b913ed868190fe78823bb75eccd1da25c /unix/make.linux.sh | |
parent | Added make.linux.sh. (diff) |
Reduced default compiler heap size from 20M to 16M.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1138 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'unix/make.linux.sh')
-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 a54a1d9..a0f4ffd 100755 --- a/unix/make.linux.sh +++ b/unix/make.linux.sh @@ -4,7 +4,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make) (cd ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile.linux all); -$CLM -h 20M -nt -nw -ci -ns -nr -I ArgEnvUnix -I backend -I compiler -I main -I main/Unix -I WrapDebug \ +$CLM -h 16M -nt -nw -ci -ns -nr -I ArgEnvUnix -I backend -I compiler -I main -I main/Unix -I WrapDebug \ -l ArgEnvUnix/ArgEnvC.o \ -l main/Unix/cDirectory.o \ -l main/Unix/set_return_code_c.o \ |