diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 12:31:13 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 12:31:13 +0100 |
| commit | 9ed728d19e019769ebde2ae9645e040fd7af2b72 (patch) | |
| tree | 6bb5afa612c84981e1785d9caf5c30902803ddc5 /src/ci/docker | |
| parent | 754fb24313f4e4683a673ce73968c5ae240122f1 (diff) | |
| download | rust-9ed728d19e019769ebde2ae9645e040fd7af2b72.tar.gz rust-9ed728d19e019769ebde2ae9645e040fd7af2b72.zip | |
debug
Diffstat (limited to 'src/ci/docker')
| -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 |