scripts : helper convert script

2023-08-27 15:24:40 +03:00
parent a6d1189fdd
commit 25423e9185
4 changed files with 32 additions and 0 deletions
--- a/scripts/run-all-ppl.sh
+++ b/scripts/run-all-ppl.sh
@@ -17,6 +17,8 @@ if [ ! -z "$3" ]; then
    args="$3"
 fi

+set -e
+
 model="$1"
 out="../tmp/results-${model}"