diff options
| -rw-r--r-- | src/bootstrap/test.rs | 9 | ||||
| m--------- | src/tools/miri | 16 |
2 files changed, 15 insertions, 10 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 86d940cd733..b3cf30672c8 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -452,7 +452,14 @@ impl Step for Miri { cargo.add_rustc_lib_path(builder, compiler); - if !try_run(builder, &mut cargo.into()) { + let mut cargo = Command::from(cargo); + if !try_run(builder, &mut cargo) { + return; + } + + // # Run `cargo test` with `-Zmir-opt-level=4`. + cargo.env("MIRIFLAGS", "-O -Zmir-opt-level=4"); + if !try_run(builder, &mut cargo) { return; } diff --git a/src/tools/miri b/src/tools/miri -Subproject 12dac5c0f7acd106401aa14fec758f0ff552f67 +Subproject 2cdd1744b896e8129322229f253f95fd7ad491f |