diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2022-05-30 12:10:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-30 12:10:28 +0200 |
| commit | 3c6693967149a176735c72e54df2e9350ab45f10 (patch) | |
| tree | 6c2ef680f3778a38cb09d3239392a5b7c65f17b1 | |
| parent | a272c456783e145ea0f91a0b423398e9927147bf (diff) | |
| download | rust-3c6693967149a176735c72e54df2e9350ab45f10.tar.gz rust-3c6693967149a176735c72e54df2e9350ab45f10.zip | |
Let miri decide the flags to use for the test suite
| -rw-r--r-- | src/bootstrap/test.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 99e9e8794e3..30e577a5172 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -572,8 +572,6 @@ impl Step for Miri { return; } - // # Run `cargo test` with `-Zmir-opt-level=4`. - cargo.env("MIRIFLAGS", "-O -Zmir-opt-level=4"); if !try_run(builder, &mut cargo) { return; } |