# 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 thing that's all that is. So...
echo
echo The build seems to have finished successfully. If you would like
-echo run more extensive tests on the new SBCL, you can try run-tests.sh.
-echo
+echo run 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