| commit | 8c2ec689c159e7f021d5913efb991aff875be967 | [log] [tgz] |
|---|---|---|
| author | Oliver Schneider <[email protected]> | Mon Dec 11 21:27:32 2017 |
| committer | Oliver Schneider <[email protected]> | Tue Dec 12 07:59:25 2017 |
| tree | 2de32ebabc3113d00860a8862f3114ff354a1a72 | |
| parent | 7e5583b7f88c609492bf4f7b3a08313bc501b0ad [diff] [blame] |
Put miri const eval checking behind -Zmiri
diff --git a/src/bootstrap/check.rs b/src/bootstrap/check.rs index ee780d1..eee403d 100644 --- a/src/bootstrap/check.rs +++ b/src/bootstrap/check.rs
@@ -769,6 +769,7 @@ if build.config.rust_debuginfo_tests { flags.push("-g".to_string()); } + flags.push("-Zmiri -Zunstable-options".to_string()); if let Some(linker) = build.linker(target) { cmd.arg("--linker").arg(linker);