-echo The build seems to have finished successfully. If you would like
-echo run more extensive tests on the new SBCL, you can try
+echo "The build seems to have finished successfully, including $NPASSED"
+echo "(out of $NCONTRIBS) contributed modules. If you would like to run"
+echo "more extensive tests on the new SBCL, you can try"