diff options
| -rwxr-xr-x | src/ci/docker/run.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 84c45790b3e..c07f04cd714 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -121,6 +121,8 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then if [ -n "${DOCKER_SCRIPT+x}" ]; then build_args+=("--build-arg" "SCRIPT_ARG=${DOCKER_SCRIPT}") echo "Using docker build arg SCRIPT_ARG=${DOCKER_SCRIPT}" + else + echo "DOCKER_SCRIPT is not defined" fi # On non-CI jobs, we try to download a pre-built image from the rust-lang-ci |