diff --git a/docker-runner.sh b/docker-runner.sh index 8f076e3dc..8c8fec03e 100755 --- a/docker-runner.sh +++ b/docker-runner.sh @@ -1,4 +1,4 @@ #!/bin/sh -scriptdir="$(cd "${0%/*}"; pwd)" -${scriptdir}/tools/docker/run.sh "$@" +scriptdir="$(cd "${0%/*}" || exit 1; pwd)" +"${scriptdir}/tools/docker/run.sh" "$@"