7 years ago · 06979665e9
parent 771f12c1e6
commit 06979665e9
1 changed files with 2 additions and 2 deletions
--- a/utils.sh
+++ b/utils.sh
@ -281,9 +281,9 @@ run_grep(){
    shift
    run++
    echo "$@ | tee /dev/stderr | egrep '$egrep_pattern'"
-    set +e
+    set +eo pipefail
    "$@" | tee /dev/stderr | egrep -q "$egrep_pattern"
-    set -e
+    set -eo pipefail
 }

 run_test_versions(){