+
+# 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