diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-04-15 13:05:14 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-04-16 23:37:11 +0200 |
| commit | a3ed2abed7bfb432168eb33492af71ebb16724d9 (patch) | |
| tree | eb532304e0e52663a71f68db3dbeaadc0674613a | |
| parent | 16a39382e2232555472388d6962c9186c08d7a4e (diff) | |
| download | rust-a3ed2abed7bfb432168eb33492af71ebb16724d9.tar.gz rust-a3ed2abed7bfb432168eb33492af71ebb16724d9.zip | |
Fix empty tests
| -rw-r--r-- | src/bootstrap/test.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 8a933ccacb2..e6af4202c19 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -919,10 +919,8 @@ impl Step for Compiletest { if build.config.rust_debuginfo_tests { flags.push("-g".to_string()); } - flags.push("-Zmiri -Zunstable-options".to_string()); - } else { - flags.push("-Zunstable-options".to_string()); } + flags.push("-Zunstable-options".to_string()); flags.push(build.config.cmd.rustc_args().join(" ")); if let Some(linker) = build.linker(target) { |