X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make.sh;h=20c03de3e645d0532fcaa2da85aac1fc5e94c953;hb=3a618201c9f2370bb8784217a866d000371769e5;hp=776e97bdcb3da539f0c918bfac7f832d095301b7;hpb=126e0a851c7e170b13c206c530083fc48572ea60;p=sbcl.git

diff --git a/make.sh b/make.sh
index 776e97b..20c03de 100755
--- a/make.sh
+++ b/make.sh
@@ -58,6 +58,10 @@
 # But in a year or so the --noprogrammer here can change to
 # --disable-debugger (and the deprecated --noprogrammer support can
 # go away completely).
+
+build_started=`date`
+echo "//starting build: $build_started"
+
 SBCL_XC_HOST="${1:-sbcl --noprogrammer}"
 export SBCL_XC_HOST
 echo //SBCL_XC_HOST=\"$SBCL_XC_HOST\"
@@ -97,11 +101,11 @@ sh make-config.sh || exit 1
 # 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.
-sh make-host-1.sh   || exit 1
-sh make-target-1.sh || exit 1
-sh make-host-2.sh   || exit 1
-sh make-target-2.sh || exit 1
-sh make-target-contrib.sh || exit 1
+time sh make-host-1.sh   || exit 1
+time sh make-target-1.sh || exit 1
+time sh make-host-2.sh   || exit 1
+time sh make-target-2.sh || exit 1
+time sh make-target-contrib.sh || exit 1
 
 # Sometimes people used to see the "No tests failed." output from the last
 # DEFTEST in contrib self-tests and think that's all that is. So...
@@ -109,10 +113,13 @@ NCONTRIBS=`find contrib -name Makefile -print | wc -l`
 NPASSED=`find contrib -name test-passed -print | wc -l`
 
 echo
-echo The build seems to have finished successfully, including $NPASSED
-echo (out of $NCONTRIBS) contributed modules.  If you would like to run 
-echo more extensive tests on the new SBCL, you can try 
+echo "The build seems to have finished successfully, including $NPASSED"
+echo "(out of $NCONTRIBS) contributed modules.  If you would like to run" 
+echo "more extensive tests on the new SBCL, you can try"
 echo "  cd tests && sh ./run-tests.sh"
 echo "(but expect some failures on non-x86 platforms)."
 
-date
+build_finished=`date`
+echo
+echo "//build started:  $build_started"
+echo "//build finished: $build_finished"