diff options
| author | Georgi Gerganov <ggerganov@gmail.com> | 2023-08-29 10:50:30 +0300 |
|---|---|---|
| committer | Georgi Gerganov <ggerganov@gmail.com> | 2023-08-29 10:50:30 +0300 |
| commit | 611363ac791435497e66278dfe31ac8a4e11fa4f (patch) | |
| tree | 0a06fd8376eac5c787bc0616e53d19c9510391b8 | |
| parent | 95b6e5212f5e4e1419de1d833d7f8d788f9f2227 (diff) | |
scripts : add pipefail
| -rwxr-xr-x | scripts/qnt-all.sh | 1 | ||||
| -rwxr-xr-x | scripts/run-all-perf.sh | 1 | ||||
| -rwxr-xr-x | scripts/run-all-ppl.sh | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/scripts/qnt-all.sh b/scripts/qnt-all.sh index 1376e419..b4c2a159 100755 --- 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 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} diff --git a/scripts/run-all-ppl.sh b/scripts/run-all-ppl.sh index f643ca3a..e04d61d7 100755 --- 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" |