diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 11:43:11 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 11:43:11 +0100 |
| commit | d74de1fdb11749463c4f876f10360cd47c537fea (patch) | |
| tree | 61f0a2f79b999c6e76a2cfe745c27b0af5fc2e52 | |
| parent | a8bc3cf38b3860e4965561e89604e3ca0f219cdf (diff) | |
| download | rust-d74de1fdb11749463c4f876f10360cd47c537fea.tar.gz rust-d74de1fdb11749463c4f876f10360cd47c537fea.zip | |
debug
| -rwxr-xr-x | src/ci/docker/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index a0adf60b6b2..84c45790b3e 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -120,6 +120,7 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then # instead of the one defined in the Dockerfile. if [ -n "${DOCKER_SCRIPT+x}" ]; then build_args+=("--build-arg" "SCRIPT_ARG=${DOCKER_SCRIPT}") + echo "Using docker build arg SCRIPT_ARG=${DOCKER_SCRIPT}" fi # On non-CI jobs, we try to download a pre-built image from the rust-lang-ci |