From b3c212103b826cde383093fab2f4237bb5736923 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 10 Nov 2024 14:47:16 +0100
Subject: [PATCH] do not trust download-rustc=if-unchanged on CI for now

---
 src/ci/run.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ci/run.sh b/src/ci/run.sh
index 8e2f525db68..9f39ad9c55c 100755
--- a/src/ci/run.sh
+++ b/src/ci/run.sh
@@ -179,7 +179,9 @@ else
   fi
 
   if [ "$NO_DOWNLOAD_CI_RUSTC" = "" ]; then
-    RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.download-rustc=if-unchanged"
+    # disabled for now, see https://github.com/rust-lang/rust/issues/131658
+    #RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.download-rustc=if-unchanged"
+    true
   fi
 fi