Skip to content

Commit 84d8f9d

Browse files
committed
Auto merge of #67579 - RalfJung:miri, r=RalfJung
update miri
2 parents 6253754 + 04c740b commit 84d8f9d

File tree

2 files changed

+1
-4
lines changed

2 files changed

+1
-4
lines changed

src/bootstrap/test.rs

-3
Original file line numberDiff line numberDiff line change
@@ -384,9 +384,6 @@ impl Step for Miri {
384384
);
385385
cargo.arg("--bin").arg("cargo-miri").arg("--").arg("miri").arg("setup");
386386

387-
// Tell `cargo miri` not to worry about the sysroot mismatch (we built with
388-
// stage1 but run with stage2).
389-
cargo.env("MIRI_SKIP_SYSROOT_CHECK", "1");
390387
// Tell `cargo miri setup` where to find the sources.
391388
cargo.env("XARGO_RUST_SRC", builder.src.join("src"));
392389
// Debug things.

0 commit comments

Comments
 (0)