-Zmir-emit-validate is in stage 0

This commit is contained in:
Oliver Schneider 2017-09-05 17:22:52 +02:00 committed by Oliver Schneider
parent ab018c76e1
commit 13921dafbf
No known key found for this signature in database
GPG key ID: 1D5CB4FC597C3004

View file

@ -247,7 +247,7 @@ 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") && stage != "0" {
if env::var("TEST_MIRI").ok().map_or(false, |val| val == "true") {
cmd.arg("-Zalways-encode-mir");
cmd.arg("-Zmir-emit-validate=1");
}