summaryrefslogtreecommitdiff
path: root/docker-run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'docker-run.sh')
-rwxr-xr-xdocker-run.sh7
1 files changed, 3 insertions, 4 deletions
diff --git a/docker-run.sh b/docker-run.sh
index b1914333..de7f340a 100755
--- a/docker-run.sh
+++ b/docker-run.sh
@@ -1,14 +1,13 @@
#!/bin/bash
-set -ef -o pipefail
-
-qemu="${qemu-}"
-set -u
+set -euf -o pipefail
. $(dirname $0)/jenkins-helpers.sh
convert_args_to_variables "$@"
shift "$SHIFT_CONVERTED_ARGS"
+qemu="${qemu-}"
+
trap "container_cleanup" EXIT
case "$qemu" in