diff options
| author | Ralf Jung <post@ralfj.de> | 2022-11-07 09:14:49 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-11-07 09:14:49 +0100 |
| commit | 397e5bb8c84acb58c7f3bf21be5a85e6f615af1a (patch) | |
| tree | 06313fbcffb751878540bbb95cb231fab0d01ead /src/bootstrap | |
| parent | c905fd285a4bbec0c1fdbb823c1825ca0493ab66 (diff) | |
| download | rust-397e5bb8c84acb58c7f3bf21be5a85e6f615af1a.tar.gz rust-397e5bb8c84acb58c7f3bf21be5a85e6f615af1a.zip | |
add FIXME to replace this env var in the future
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/sanity.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/bootstrap/sanity.rs b/src/bootstrap/sanity.rs index 9890480709b..bdfd5fe5c42 100644 --- a/src/bootstrap/sanity.rs +++ b/src/bootstrap/sanity.rs @@ -156,6 +156,9 @@ 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; } @@ -218,6 +221,9 @@ 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; } |
