diff options
| -rwxr-xr-x | unix/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/make.sh b/unix/make.sh index 348884c..9d16fe5 100755 --- a/unix/make.sh +++ b/unix/make.sh @@ -3,7 +3,7 @@ CLM=clm (cd backendC/CleanCompilerSources; make) (cd ArgEnvUnix; make ArgEnvC.o) -(cd main/Unix; make ipc.o; make set_return_code_c.o) +(cd main/Unix; make all); $CLM -h 20M -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 \ |