File tree 2 files changed +5
-5
lines changed
2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ make -r bin/ocamlscript
20
20
21
21
echo " Making runtime" >> build.compile
22
22
23
- cd ./runtime; gmake all 2>> ../build.compile ; gmake depend; cd ..
23
+ cd ./runtime; make all 2>> ../build.compile ; make depend; cd ..
24
24
echo " Making runtime Finished" >> build.compile
25
25
26
26
echo " Remaking standard library" >> build.compile
@@ -34,11 +34,11 @@ TARGET=a
34
34
echo " >>EACH FILE TESTING" >> build.compile
35
35
cd ./test/
36
36
# ./build.sh 2>> ../build.compile
37
- gmake $TARGET .cmo 2>> ../build.compile
37
+ make $TARGET .cmo 2>> ../build.compile
38
38
39
39
cat $TARGET .js >> ../build.compile
40
- gmake -j30 all 2>> ../build.compile
41
- gmake depend 2>> ../build.compile
40
+ make -j30 all 2>> ../build.compile
41
+ make depend 2>> ../build.compile
42
42
echo " <<Test finished" >> ../build.compile
43
43
cd ..
44
44
Original file line number Diff line number Diff line change 1
1
#! /bin/sh
2
2
set -e
3
3
4
- gmake -r -j20 all 2>> ../build.compile
4
+ make -r -j20 all 2>> ../build.compile
5
5
You can’t perform that action at this time.
0 commit comments