Skip to content

Commit

Permalink
bootstrap miri: remove no longer used env var
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Dec 24, 2019
1 parent 0af399a commit 04c740b
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/bootstrap/test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 04c740b

Please sign in to comment.