diff options
| -rwxr-xr-x | unix/make.macosx64.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/unix/make.macosx64.sh b/unix/make.macosx64.sh index a899d33..51ab7dc 100755 --- a/unix/make.macosx64.sh +++ b/unix/make.macosx64.sh @@ -2,7 +2,6 @@ CLM=clm (cd backendC/CleanCompilerSources; make -f Makefile.linux64) -(cd ../libraries/ArgEnvUnix; make ArgEnvC.o) (cd main/Unix; make -f Makefile all); $CLM -gcm -h 40M -nt -nw -ci -nr -IL ArgEnv -I backend -I frontend -I main -I main/Unix \ -l backendC/CleanCompilerSources/backend.a \ |