improve detection of erros

This commit is contained in:
Gael Guennebaud 2010-11-03 22:02:44 +01:00
parent e85a3857f0
commit a8fb6b0ad3

View File

@ -24,5 +24,16 @@ if ! ./$1 < $data > /dev/null 2> .runtest.log ; then
echo -e $black
exit 1
else
if [ -f $1.summ ]; then
if [ `grep "FATAL ERROR" $1.summ | wc -l` -gt 0 ]; then
echo -e $red "Test $1 failed (FATAL ERROR, read the file $1.summ for details)" $black
exit 1;
fi
if [ `grep "FAILED THE TESTS OF ERROR-EXITS" $1.summ | wc -l` -gt 0 ]; then
echo -e $red "Test $1 failed (FAILED THE TESTS OF ERROR-EXITS, read the file $1.summ for details)" $black
exit 1;
fi
fi
echo -e $green Test $1 passed$black
fi