diff --git a/src/ci/run.sh b/src/ci/run.sh index 9f39ad9c55c54..8e2f525db68fc 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -179,9 +179,7 @@ else fi if [ "$NO_DOWNLOAD_CI_RUSTC" = "" ]; then - # 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 + RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set rust.download-rustc=if-unchanged" fi fi