From d74de1fdb11749463c4f876f10360cd47c537fea Mon Sep 17 00:00:00 2001
From: MarcoIeni <11428655+MarcoIeni@users.noreply.github.com>
Date: Wed, 11 Dec 2024 11:43:11 +0100
Subject: [PATCH] debug

---
 src/ci/docker/run.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh
index a0adf60b6b2c..84c45790b3e3 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