diff options
| author | Ralf Jung <post@ralfj.de> | 2021-03-27 14:03:31 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2021-03-27 14:03:31 +0100 |
| commit | 84e7ae284266cfb77487c580945dcc9f5f107e45 (patch) | |
| tree | c9d4de109b7c526265d1b8872395205692ea7c30 /src | |
| parent | f811f14006fa46030f1af714f7d640580d3ad822 (diff) | |
| download | rust-84e7ae284266cfb77487c580945dcc9f5f107e45.tar.gz rust-84e7ae284266cfb77487c580945dcc9f5f107e45.zip | |
Run Miri test suite with mir-opt-level=4
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/test.rs | 9 |
1 files changed, 8 insertions, 1 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; } |