diff --git a/build.sh b/build.sh index 1cf2125293..ecc7e34bac 100755 --- a/build.sh +++ b/build.sh @@ -172,7 +172,7 @@ printf "done\n" printf "done\n" >> $log # TESTS - +count_test_crashes=0 if [ $target == "test" ]; then rm -f test/STOP @@ -203,6 +203,7 @@ if [ $target == "test" ]; then crash=$((test_begin - $test_end)) if [ $crash != 0 ]; then + let "count_test_crashes++" line=" CRASH: $test\n" printf "$line" printf "$line" >> $log @@ -258,6 +259,7 @@ if [ $target == "test" ]; then echo "Test run summary" echo + echo " Test runs crashed: $count_test_crashes" echo " Test runs attempted: $count_attempted" echo " Test runs started: $count_started" if [ $count_attempted -gt $count_started ]; then @@ -273,7 +275,7 @@ if [ $target == "test" ]; then fi echo - if [ $f -gt 0 ] || [ $crash -gt 0 ] ; then + if [ $f -gt 0 ] || [ $count_test_crashes -gt 0 ] ; then echo "Exiting testing with failures:" echo "@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@" cat "$dir/fail.$configure"