diff options
-rwxr-xr-x | docker-run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker-run.sh b/docker-run.sh index d5b74a5d..c244829f 100755 --- a/docker-run.sh +++ b/docker-run.sh @@ -8,6 +8,7 @@ shift "$SHIFT_CONVERTED_ARGS" qemu="${qemu-}" WORKSPACE="${WORKSPACE-}" +prefix="${prefix-}" case "$qemu" in "") $(dirname $0)/start-container-docker.sh "${CONVERTED_ARGS[@]:1}" > container.sh ;; |