about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2020-02-21 20:45:16 +0100
committerRalf Jung <post@ralfj.de>2020-02-21 20:45:16 +0100
commit1a0e2001bca6cbb3fc8496b83d5f847e11f459e6 (patch)
tree3321b0c7afb161944f374ffb9cd057279d52efe1
parent821c4408f9752b17c40b9cb879fc5f430136ecd8 (diff)
downloadrust-1a0e2001bca6cbb3fc8496b83d5f847e11f459e6.tar.gz
rust-1a0e2001bca6cbb3fc8496b83d5f847e11f459e6.zip
fix miri and bootstrap interaction
-rw-r--r--src/bootstrap/test.rs4
m---------src/tools/miri16
2 files changed, 10 insertions, 10 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 5b8462066d99511a5ca119cbd3a1443ccf67571
+Subproject a3dad216eeab5be4ffb050afb9ab2b2c67ee451