scripts : add pipefail

2023-08-29 10:50:30 +03:00
parent 95b6e5212f
commit 611363ac79
3 changed files with 3 additions and 0 deletions
--- 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}