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