diff options
| author | bors <bors@rust-lang.org> | 2022-11-07 17:04:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-11-07 17:04:06 +0000 |
| commit | d69c33ad4c65e42a7a2d018a5c2ee1c7dbd0fc15 (patch) | |
| tree | 97d56e0e5612528d2da2d5eeb0d816cdb9edc883 /src/bootstrap | |
| parent | 68f77297c0f199e00ff98f4b6bd71a74e75ec09c (diff) | |
| parent | 397e5bb8c84acb58c7f3bf21be5a85e6f615af1a (diff) | |
| download | rust-d69c33ad4c65e42a7a2d018a5c2ee1c7dbd0fc15.tar.gz rust-d69c33ad4c65e42a7a2d018a5c2ee1c7dbd0fc15.zip | |
Auto merge of #103569 - RalfJung:miri-test-macos, r=Mark-Simulacrum
fix and (re-)enable Miri cross-target checks on macOS and Windows Fixes https://github.com/rust-lang/rust/issues/103519 r? `@Mark-Simulacrum`
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/sanity.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/bootstrap/sanity.rs b/src/bootstrap/sanity.rs index e905517253c..bdfd5fe5c42 100644 --- a/src/bootstrap/sanity.rs +++ b/src/bootstrap/sanity.rs @@ -155,6 +155,14 @@ than building it. continue; } + // Some environments don't want or need these tools, such as when testing Miri. + // FIXME: it would be better to refactor this code to split necessary setup from pure sanity + // checks, and have a regular flag for skipping the latter. Also see + // <https://github.com/rust-lang/rust/pull/103569#discussion_r1008741742>. + if env::var_os("BOOTSTRAP_SKIP_TARGET_SANITY").is_some() { + continue; + } + if !build.config.dry_run { cmd_finder.must_have(build.cc(*target)); if let Some(ar) = build.ar(*target) { @@ -212,6 +220,14 @@ than building it. } } + // Some environments don't want or need these tools, such as when testing Miri. + // FIXME: it would be better to refactor this code to split necessary setup from pure sanity + // checks, and have a regular flag for skipping the latter. Also see + // <https://github.com/rust-lang/rust/pull/103569#discussion_r1008741742>. + if env::var_os("BOOTSTRAP_SKIP_TARGET_SANITY").is_some() { + continue; + } + if need_cmake && target.contains("msvc") { // There are three builds of cmake on windows: MSVC, MinGW, and // Cygwin. The Cygwin build does not have generators for Visual |
