diff options
Diffstat (limited to 'unix/make.sh')
| -rwxr-xr-x | unix/make.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/unix/make.sh b/unix/make.sh deleted file mode 100755 index 9d16fe5..0000000 --- a/unix/make.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -CLM=clm - -(cd backendC/CleanCompilerSources; make) -(cd ArgEnvUnix; make ArgEnvC.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 \ - -l main/Unix/set_return_code_c.o \ - -l main/Unix/ipc.o \ - -l backendC/CleanCompilerSources/backend.a \ - cocl -o cocl |
