From 04c740bee3f453cb06fbfa6581a2ee53023d39b9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 24 Dec 2019 11:54:25 +0100
Subject: [PATCH] bootstrap miri: remove no longer used env var

---
 src/bootstrap/test.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs
index 58dc8ffc17da2..f2a7d1d00cf28 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.