Skip to content

Commit d213c64

Browse files
committed
let the user skip the sysroot consistency check
1 parent effffd8 commit d213c64

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

src/bin/cargo-miri.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -141,6 +141,13 @@ fn test_sysroot_consistency() {
141141
.unwrap_or_else(|_| panic!("Failed to canonicalize sysroot: {}", stdout))
142142
}
143143

144+
// We let the user skip this check if they really want to.
145+
// (`bootstrap` needs this because Miri gets built by the stage1 compiler
146+
// but run with the stage2 sysroot.)
147+
if std::env::var("MIRI_SKIP_SYSROOT_CHECK").is_ok() {
148+
return;
149+
}
150+
144151
let rustc_sysroot = get_sysroot(Command::new("rustc"));
145152
let miri_sysroot = get_sysroot(Command::new(find_miri()));
146153

0 commit comments

Comments
 (0)