+# DEFTEST in contrib self-tests and think that's all that is. So...
+FLAG=true
+for dir in contrib/*
+do
+ if [ -d "$dir" -a -e "$dir/Makefile" -a ! -e "$dir/test-passed" ]; then
+ if $FLAG; then
+ echo > /dev/null
+ else
+ echo "Failed contribs:"
+ FLAG=false
+ fi
+ echo " `basename $dir`"
+ fi
+done
+
+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:"