X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make.sh;h=20c03de3e645d0532fcaa2da85aac1fc5e94c953;hb=6ab9c60f1c53cc7cc912d644658bc23453a82ac4;hp=1dd714540e2bfc16028ea5a320d9a3edb5c760b8;hpb=1d794dfd69a5cfd7150166a48096cf5a5e4fe1e7;p=sbcl.git

diff --git a/make.sh b/make.sh
index 1dd7145..20c03de 100755
--- a/make.sh
+++ b/make.sh
@@ -101,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...