From 244011a47f1f6318d120035c1a3b6eb121bd95f1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 9 Jun 2019 15:43:22 +0200
Subject: [PATCH] don't have both MIRI_SYSROOT and --sysroot

---
 src/bin/cargo-miri.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index ae9b2efa675..53b849a1a70 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -458,6 +458,7 @@ fn inside_cargo_rustc() {
     } else {
         Command::new("rustc")
     };
+    command.env_remove("MIRI_SYSROOT"); // we already set the --sysroot flag
     command.args(&args);
     if has_arg_flag("-v") {
         eprintln!("+ {:?}", command);
-- 
2.44.0