don't forget to sync these flags with miri

This commit is contained in:
Ralf Jung 2018-10-24 14:08:47 +02:00
parent 8a61d492a9
commit 07829bc0f0
1 changed files with 2 additions and 0 deletions

View File

@ -253,6 +253,8 @@ 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") {
// The flags here should be kept in sync with `add_miri_default_args`
// in miri's `src/lib.rs`.
cmd.arg("-Zalways-encode-mir");
// These options are preferred by miri, to be able to perform better validation,
// but the bootstrap compiler might not understand them.