+
+# 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 `cd contrib ; echo *`
+do
+ if [ -d "contrib/$dir" -a -f "contrib/$dir/Makefile" -a ! -f "obj/asdf-cache/$dir/test-passed.test-report" ]; then
+ if $HEADER_HAS_BEEN_PRINTED; then
+ echo > /dev/null
+ else
+ cat <<EOF
+
+WARNING! Some of the contrib modules did not build successfully or pass
+their self-tests. Failed contribs:"
+EOF
+ HEADER_HAS_BEEN_PRINTED=true
+ fi
+ echo " $dir"
+ fi
+done
+
+if [ $HEADER_HAS_BEEN_PRINTED = true ]; then
+ exit 1
+fi