diff options
Diffstat (limited to 'src/ci/run.sh')
| -rwxr-xr-x | src/ci/run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 6a571bfad13..281f4f92a7f 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -76,6 +76,10 @@ else fi fi +if [ "$RUST_RELEASE_CHANNEL" = "nightly" ] or [ "$DIST_REQUIRE_ALL_TOOLS" = "" ]; then + RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-missing-tools" +fi + # We've had problems in the past of shell scripts leaking fds into the sccache # server (#48192) which causes Cargo to erroneously think that a build script # hasn't finished yet. Try to solve that problem by starting a very long-lived |
