]> git.lizzy.rs Git - rust.git/commitdiff
bootstrap miri: remove no longer used env var
authorRalf Jung <post@ralfj.de>
Tue, 24 Dec 2019 10:54:25 +0000 (11:54 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 24 Dec 2019 10:54:25 +0000 (11:54 +0100)
src/bootstrap/test.rs

index 58dc8ffc17da25df49ce871d0670f22b940422ff..f2a7d1d00cf2856574486f710d3272a62dbddd6f 100644 (file)
@@ -384,9 +384,6 @@ fn run(self, builder: &Builder<'_>) {
             );
             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.