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

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

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