diff options
| author | Ralf Jung <post@ralfj.de> | 2019-12-24 11:54:25 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-12-24 11:54:25 +0100 |
| commit | 04c740bee3f453cb06fbfa6581a2ee53023d39b9 (patch) | |
| tree | ab54342568debc19d04dae4dcaa3342f229c0a48 | |
| parent | 0af399a282a5493a3e7324cc9e0fdb7224fb3888 (diff) | |
| download | rust-04c740bee3f453cb06fbfa6581a2ee53023d39b9.tar.gz rust-04c740bee3f453cb06fbfa6581a2ee53023d39b9.zip | |
bootstrap miri: remove no longer used env var
| -rw-r--r-- | src/bootstrap/test.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 58dc8ffc17d..f2a7d1d00cf 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -384,9 +384,6 @@ impl Step for Miri { ); cargo.arg("--bin").arg("cargo-miri").arg("--").arg("miri").arg("setup"); - // Tell `cargo miri` not to worry about the sysroot mismatch (we built with - // stage1 but run with stage2). - cargo.env("MIRI_SKIP_SYSROOT_CHECK", "1"); // Tell `cargo miri setup` where to find the sources. cargo.env("XARGO_RUST_SRC", builder.src.join("src")); // Debug things. |