diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-12 18:02:19 +0100 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2024-12-12 18:02:19 +0100 |
| commit | a1abbaab0db7143e24ca029e6894d85ebb868384 (patch) | |
| tree | d3e86f11291931465c1d493793b8383ce0818b65 /src | |
| parent | aa0fd4621e3bb7a2cb4cf8c8d90c288bffdc520a (diff) | |
| download | rust-a1abbaab0db7143e24ca029e6894d85ebb868384.tar.gz rust-a1abbaab0db7143e24ca029e6894d85ebb868384.zip | |
remove echo logs
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/docker/run.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 25a32ef15f3..a0adf60b6b2 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -38,9 +38,7 @@ 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 @@ -55,7 +53,6 @@ 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 @@ -123,9 +120,6 @@ 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}" - 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 |