diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 12:47:58 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-11 12:47:58 +0100 |
| commit | eec9bcf163935ea5b2cce0f6b4a917b835a81271 (patch) | |
| tree | a9118e389855ded43b3b75794ef57b040f987102 /src/ci/docker | |
| parent | 9ed728d19e019769ebde2ae9645e040fd7af2b72 (diff) | |
| download | rust-eec9bcf163935ea5b2cce0f6b4a917b835a81271.tar.gz rust-eec9bcf163935ea5b2cce0f6b4a917b835a81271.zip | |
more debug
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index c07f04cd714..25a32ef15f3 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -38,7 +38,9 @@ root_dir="`dirname $src_dir`" source "$ci_dir/shared.sh" +echo "Checking is running in CI..." if isCI; then + echo "CI detected" objdir=$root_dir/obj else objdir=$root_dir/obj/$image @@ -53,6 +55,7 @@ fi CACHE_DOMAIN="${CACHE_DOMAIN:-ci-caches.rust-lang.org}" if [ -f "$docker_dir/$image/Dockerfile" ]; then + echo "Dockefile exists for $image" hash_key=/tmp/.docker-hash-key.txt rm -f "${hash_key}" echo $image >> $hash_key |