From d2a03c85cf6615eec237be7252ee9151cc315113 Mon Sep 17 00:00:00 2001
From: mabruzzo <matthewabruzzo@gmail.com>
Date: Wed, 4 Aug 2021 13:17:26 -0400
Subject: [PATCH] Updated build.sh so that build.sh exits with failure when a
 crashed test is detected.

---
 build.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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"