diff options
Diffstat (limited to 'unix/make.sh')
| -rwxr-xr-x | unix/make.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unix/make.sh b/unix/make.sh index 6961ef9..68575c8 100755 --- a/unix/make.sh +++ b/unix/make.sh @@ -2,6 +2,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make) +(cd ArgEnvUnix; make ArgEnvC.o) $CLM -h 20M -nt -nw -ci -ns -I ArgEnvUnix -I backend -I compiler -I main -I main/Unix -I WrapDebug \ -l ArgEnvUnix/ArgEnvC.o \ -l main/Unix/cDirectory.o \ |