2016-12-01 22:03:30 +00:00
|
|
|
#!/bin/sh
|
2016-12-01 23:00:31 +00:00
|
|
|
notsucceeding=$(find "$@" ! -size 0)
|
2016-12-01 22:03:30 +00:00
|
|
|
echo ""
|
2016-12-01 23:00:31 +00:00
|
|
|
echo "$(echo $notsucceeding | wc -w) tests failed to pass"
|
|
|
|
|
|
|
|
skipped=$(grep -l @@SKIPPED $notsucceeding)
|
|
|
|
echo "$(echo $skipped | wc -w) were skipped (see build log for details)"
|
|
|
|
|
|
|
|
timedout=$(grep -l @@TIMEDOUT $notsucceeding)
|
|
|
|
echo "$(echo $timedout | wc -w) timed out"
|
|
|
|
|
|
|
|
failed=$(grep -l @@FAIL $notsucceeding)
|
|
|
|
echo "$(echo $failed | wc -w) failed"
|
|
|
|
|
2016-12-01 22:03:30 +00:00
|
|
|
echo ""
|
2016-12-01 23:00:31 +00:00
|
|
|
for a in $failed $timedout; do
|
2016-12-01 22:03:30 +00:00
|
|
|
echo "**** $a"
|
|
|
|
cat $a
|
|
|
|
echo ""
|
|
|
|
done
|
2016-12-01 23:00:31 +00:00
|
|
|
exec test "$failed" == "" -o "$timedout" == ""
|