diff options
| author | johnvg | 2005-03-11 11:32:25 +0000 |
|---|---|---|
| committer | johnvg | 2005-03-11 11:32:25 +0000 |
| commit | 06a60a4d907d779c9585631ce99d1e30660683b7 (patch) | |
| tree | f559e03dbb67a0c43ef70b36f0fb9dd91e4253bb /unix/make.linux.sh | |
| parent | prevent compiler crash when a type variable with a ^ is used in a (diff) | |
use a heap of 20m instead of 16m
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1514 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 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 \ |