scripts : add pipefail

diff --git a/scripts/qnt-all.sh b/scripts/qnt-all.sh
index 1376e4194f3053be5b9b44122e8714121f6ca3d7..b4c2a159e2bf510c96f8e92dd6a4fac7ea07bdaa 100755 (executable)
--- a/scripts/qnt-all.sh
+++ b/scripts/qnt-all.sh
@@ -20,6 +20,7 @@ fi
 model="$1"
 out="../tmp/results-${model}"
 
+set -o pipefail
 set -e
 
 mkdir -p ${out}

diff --git a/scripts/run-all-perf.sh b/scripts/run-all-perf.sh
index 7391e3dd560752edd05ec7effeb676b1a310f75d..6384e364d558439ad5a7e46ba2f0d7188615c66a 100755 (executable)
--- a/scripts/run-all-perf.sh
+++ b/scripts/run-all-perf.sh
@@ -20,6 +20,7 @@ fi
 model="$1"
 out="../tmp/results-${model}"
 
+set -o pipefail
 set -e
 
 mkdir -p ${out}

diff --git a/scripts/run-all-ppl.sh b/scripts/run-all-ppl.sh
index f643ca3ae3c12048f59eb4d7b59491276e6177bb..e04d61d7fe0910c60e7f8a05861c0365bad67e84 100755 (executable)
--- a/scripts/run-all-ppl.sh
+++ b/scripts/run-all-ppl.sh
@@ -17,6 +17,7 @@ if [ ! -z "$3" ]; then
     args="$3"
 fi
 
+set -o pipefail
 set -e
 
 model="$1"