--- sbcl-0.9.5/make.sh.verbose-build 2005-09-21 10:00:33.000000000 -0500
+++ sbcl-0.9.5/make.sh 2005-09-28 11:42:06.353251776 -0500
@@ -70,7 +70,7 @@
# If you're cross-compiling, you should probably just walk through the
# make-config.sh script by hand doing the right thing on both the host
# and target machines.
-sh make-config.sh
+sh -x make-config.sh ||:
# Enforce the source policy for no bogus whitespace
tools-for-build/canonicalize-whitespace
@@ -102,11 +102,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 contrib -name test-passed -print | wc -l`