blob: 60ead9f3e70a6f1b715be5c66ed504ae891a225d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
--- sbcl-1.2.7-orig/make.sh 2015-01-01 06:09:07.000000000 +1100
+++ sbcl-1.2.7/make.sh 2015-01-31 13:06:09.652480932 +1100
@@ -24,7 +24,7 @@
# thing" when run on the target machine, with the minor caveat that
# any --xc-host parameter should be suitable for the host machine
# instead of the target.
-sh make-config.sh "$@" || exit $?
+sh -x make-config.sh "$@" || exit $?
. output/prefix.def
. output/build-config
@@ -64,11 +64,11 @@
# Or, if you can set up the files somewhere shared (with NFS, AFS, or
# whatever) between the host machine and the target machine, the basic
# procedure above should still work, but you can skip the "copy" steps.
-time sh make-host-1.sh
-time sh make-target-1.sh
-time sh make-host-2.sh
-time sh make-target-2.sh
-time sh make-target-contrib.sh
+time sh -x make-host-1.sh
+time sh -x make-target-1.sh
+time sh -x make-host-2.sh
+time sh -x make-target-2.sh
+time sh -x make-target-contrib.sh
NCONTRIBS=`find contrib -name Makefile -print | wc -l`
NPASSED=`find obj/asdf-cache -name test-passed.test-report -print | wc -l`
|
