X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make.sh;h=64a565b32bad6648d30dd0cf5ceedcc94ffc74a7;hb=5f492c8a8eea8a407d82de104e16b7148a7f9eb8;hp=8626c850c91e32cf76f08d0d20f04ee6698d1337;hpb=893dd75069ad851efd19e3d0fa5a4de9e84b4868;p=sbcl.git

diff --git a/make.sh b/make.sh
index 8626c85..64a565b 100755
--- a/make.sh
+++ b/make.sh
@@ -113,9 +113,9 @@ 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
 date