+# sh make-target-2.sh
+# sh make-target-contrib.sh
+# 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.
+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 contrib -name test-passed -print | wc -l`
+echo
+echo "The build seems to have finished successfully, including $NPASSED (out of $NCONTRIBS)"
+echo "contributed modules. If you would like to run more extensive tests on"
+echo "the new SBCL, you can try:"
+echo
+echo " cd tests && sh ./run-tests.sh"
+echo
+echo " (All tests should pass on x86/Linux, x86/FreeBSD4, and ppc/Darwin. On"
+echo " other platforms some failures are currently expected; patches welcome"
+echo " as always.)"
+echo
+echo "To build documentation:"
+echo
+echo " cd doc/manual && make"
+echo
+echo "To install SBCL (more information in INSTALL):"
+echo
+echo " sh install.sh"
+
+# This is probably the best place to ensure people will see this.
+if test -n "$legacy_xc_spec"
+then
+ echo <<EOF
+******************************************************************************
+**
+** Old-style XC-host specification detected: '$SBCL_XC_HOST'
+**
+** Since 1.0.41.45 SBCL expects the XC-host to be specified using
+** the --xc-host='myhost' command line option, not with a positional
+** argument. The legacy style still works, but will not be supported
+** indefinitely. Please update your build procedure.
+**
+******************************************************************************
+EOF
+fi
+
+build_finished=`date`
+echo
+echo "//build started: $build_started"
+echo "//build finished: $build_finished"