diff options
Diffstat (limited to 'scripts/run-all-perf.sh')
| -rwxr-xr-x | scripts/run-all-perf.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/run-all-perf.sh b/scripts/run-all-perf.sh index 7391e3dd..6384e364 100755 --- 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} |