diff options
-rwxr-xr-x | blas/testing/runblastest.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/blas/testing/runblastest.sh b/blas/testing/runblastest.sh index ab8235470..aa634a2ce 100755 --- a/blas/testing/runblastest.sh +++ b/blas/testing/runblastest.sh @@ -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 |