Skip to content

Commit

Permalink
Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk
Browse files Browse the repository at this point in the history
disable sysroot checks for distributed binaries

This should help with mozilla/nixpkgs-mozilla#198.
  • Loading branch information
bors committed Dec 23, 2019
2 parents 2a08c63 + bc715cb commit 02bba3f
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions src/bin/cargo-miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -160,10 +160,11 @@ fn test_sysroot_consistency() {
.unwrap_or_else(|_| panic!("Failed to canonicalize sysroot: {}", stdout))
}

// We let the user skip this check if they really want to.
// (`bootstrap` needs this because Miri gets built by the stage1 compiler
// but run with the stage2 sysroot.)
if std::env::var("MIRI_SKIP_SYSROOT_CHECK").is_ok() {
// Do not check sysroots if we got built as part of a Rust distribution.
// During `bootstrap`, the sysroot does not match anyway, and then some distros
// play symlink tricks so the sysroots may be different even for the final stage
// (see <https://github.com/mozilla/nixpkgs-mozilla/issues/198>).
if option_env!("RUSTC_STAGE").is_some() {
return;
}

Expand Down

0 comments on commit 02bba3f

Please sign in to comment.