diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2020-03-31 08:06:15 +0000 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2020-03-31 08:06:15 +0000 |
commit | 512d79ce1889d211fa6a51c872545ccc7c7506e4 (patch) | |
tree | b39e350dae0c46b37001def51c9a54670a0422e3 /docker-run.sh | |
parent | 086bec00ab110603166f51e69d7fa37ce1035111 (diff) |
docker-run.sh: Make sure $prefix is initialized
The previous commit makes use of $prefix, leading to
./jenkins-scripts/docker-run.sh: line 18: prefix: unbound variable
when the script is invoked without the --prefix option.
Change-Id: I92fb4f852b2fca7f9034bd7f43aa9b6663e4291b
Diffstat (limited to 'docker-run.sh')
-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 ;; |