diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-14 07:00:24 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-09-14 07:00:24 +0000 |
commit | 347918f25bc3a0866aac7216399517f1ece8d3e0 (patch) | |
tree | aefecb2891e0605c6367d2babcaa7a153e80e457 /docker-run.sh | |
parent | a905835722c59613e0ec70384462895147beaa5b (diff) |
tcwg-benchmark.sh: Cleanup container on benchmarking board
Change-Id: If6f5d03352dd72d4a9e7345950efd65ae7f83eb0
Diffstat (limited to 'docker-run.sh')
-rwxr-xr-x | docker-run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker-run.sh b/docker-run.sh index 19620ab5..92820ef5 100755 --- a/docker-run.sh +++ b/docker-run.sh @@ -9,12 +9,12 @@ shift "$SHIFT_CONVERTED_ARGS" qemu="${qemu-}" WORKSPACE="${WORKSPACE-}" -trap "container_cleanup" EXIT - case "$qemu" in "") $(dirname $0)/start-container-docker.sh "${CONVERTED_ARGS[@]:1}" > container.sh ;; *) $(dirname $0)/start-container-qemu.sh "${CONVERTED_ARGS[@]:1}" > container.sh ;; esac + +trap "container_cleanup" EXIT . ./container.sh # We want to use flock only when WORKSPACE exists |