]> git.lizzy.rs Git - rust.git/commitdiff
don't have both MIRI_SYSROOT and --sysroot
authorRalf Jung <post@ralfj.de>
Sun, 9 Jun 2019 13:43:22 +0000 (15:43 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 9 Jun 2019 13:43:22 +0000 (15:43 +0200)
src/bin/cargo-miri.rs

index ae9b2efa67500b0292cd8d304acaf7f820a956c0..53b849a1a70c26276766dfb2ad2fb09c8d98680d 100644 (file)
@@ -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);