diff options
Diffstat (limited to 'blas/testing/runblastest.sh')
| -rwxr-xr-x | blas/testing/runblastest.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/blas/testing/runblastest.sh b/blas/testing/runblastest.sh index aa634a2ce..4ffaf0111 100755 --- a/blas/testing/runblastest.sh +++ b/blas/testing/runblastest.sh @@ -27,11 +27,17 @@ 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 + echo -e $blue + cat .runtest.log + echo -e $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 + echo -e $blue + cat .runtest.log + echo -e $black exit 1; fi fi |