-# 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...
+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.)"