diff options
Diffstat (limited to 'docker-run.sh')
-rwxr-xr-x | docker-run.sh | 7 |
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 |