diff options
| author | bors <bors@rust-lang.org> | 2020-02-24 14:54:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-02-24 14:54:39 +0000 |
| commit | 834bc5650acf7019a53b409db68986857822812c (patch) | |
| tree | 7924e2b3f5ef98a84f4b497b8508b50a95c380e8 | |
| parent | d9a328a0ade570608717b0df654306a5268c9f46 (diff) | |
| parent | ffa1aa6434a8110a10e2fa0de4dce9176578476b (diff) | |
Auto merge of #69344 - RalfJung:miri, r=oli-obk
bump Miri Fixes https://github.com/rust-lang/rust/issues/69331 r? @ghost Cc @oli-obk
| -rw-r--r-- | src/bootstrap/test.rs | 4 | ||||
| m--------- | src/tools/miri | 14 |
2 files changed, 10 insertions, 8 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index f939f79e4f4..4cfda606c4b 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -388,6 +388,8 @@ impl Step for Miri { cargo.env("XARGO_RUST_SRC", builder.src.join("src")); // Debug things. cargo.env("RUST_BACKTRACE", "1"); + // Overwrite bootstrap's `rustc` wrapper overwriting our flags. + cargo.env("RUSTC_DEBUG_ASSERTIONS", "true"); // Let cargo-miri know where xargo ended up. cargo.env("XARGO", builder.out.join("bin").join("xargo")); @@ -397,7 +399,7 @@ impl Step for Miri { } // # Determine where Miri put its sysroot. - // To this end, we run `cargo miri setup --env` and capture the output. + // To this end, we run `cargo miri setup --print-sysroot` and capture the output. // (We do this separately from the above so that when the setup actually // happens we get some output.) // We re-use the `cargo` from above. diff --git a/src/tools/miri b/src/tools/miri -Subproject ded5a52639a78907523b74a9d3ed8e3824c88ca +Subproject 3c444bf6a6cff3b9014005f21cc44995b34862c |
