make.sh: don't run out of /bin/time.

This commit is contained in:
Stas Boukarev 2017-09-14 17:52:21 +03:00
parent 1c190e01a0
commit 10504515f8

11
make.sh
View file

@ -69,11 +69,12 @@ $SBCL_XC_HOST < tools-for-build/canonicalize-whitespace.lisp || exit 1
# --host-location=user@host-machine:<rsync path to host sbcl directory>
# and the make-target-*.sh scripts will take care of transferring the
# necessary files.
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=`command -v time || true`
$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
NCONTRIBS=`find contrib -name Makefile -print | wc -l`
NPASSED=`find obj/asdf-cache -name test-passed.test-report -print | wc -l`