diff options
Diffstat (limited to 'scripts/run-all-ppl.sh')
| -rwxr-xr-x | scripts/run-all-ppl.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/run-all-ppl.sh b/scripts/run-all-ppl.sh index 366d0866..f643ca3a 100755 --- 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}" |