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