Restore pipefail.

[bertos.git] / test / run_tests.sh

diff --git a/test/run_tests.sh b/test/run_tests.sh
index 393d0e614ed75bea34589cf4faad97fe1aaf86e2..c33f00e2a3ed3d3cdc3a53ca60ca1bc42573f458 100755 (executable)
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -73,7 +73,7 @@ runout='/dev/null'
 [ "$VERBOSE" -ge 3 ] && runout='/dev/stdout'
 
 # Needed to get build/exec result code rather than tee's
-#set -o pipefail
+set -o pipefail
 
 rm -rf "${TESTOUT}.old"
 if [ -d "${TESTOUT}" ] ; then