diff options
| author | kennytm <kennytm@gmail.com> | 2018-04-14 15:23:37 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-04-14 15:23:37 +0800 |
| commit | e681ba22d2b802578388c7753003aeda442bcca4 (patch) | |
| tree | 7fc90d9b5863b87f2e3b3b6db97f19eadba0660c /src/bootstrap | |
| parent | 31906e4f8c27cd61f097e7ca254780be3a28f11f (diff) | |
| parent | 35087fcb89d8d6ba8e9490e9aadeaf6987c55e34 (diff) | |
| download | rust-e681ba22d2b802578388c7753003aeda442bcca4.tar.gz rust-e681ba22d2b802578388c7753003aeda442bcca4.zip | |
Rollup merge of #49922 - f-bro:zmiri, r=oli-obk
Remove -Zmiri debugging option
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/bin/rustc.rs | 3 | ||||
| -rw-r--r-- | src/bootstrap/test.rs | 2 |
2 files changed, 1 insertions, 4 deletions
diff --git a/src/bootstrap/bin/rustc.rs b/src/bootstrap/bin/rustc.rs index 3dd9b684059..b6ae824c376 100644 --- a/src/bootstrap/bin/rustc.rs +++ b/src/bootstrap/bin/rustc.rs @@ -247,9 +247,6 @@ fn main() { // When running miri tests, we need to generate MIR for all libraries if env::var("TEST_MIRI").ok().map_or(false, |val| val == "true") { cmd.arg("-Zalways-encode-mir"); - if stage != "0" { - cmd.arg("-Zmiri"); - } cmd.arg("-Zmir-emit-validate=1"); } diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 72995db959a..29c8cd1568a 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -875,7 +875,7 @@ impl Step for Compiletest { if build.config.rust_debuginfo_tests { flags.push("-g".to_string()); } - flags.push("-Zmiri -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) { |
