diff options
| author | Ralf Jung <post@ralfj.de> | 2019-07-30 21:23:59 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-08-08 19:31:45 +0200 |
| commit | c4a654d9cdbf259b4ec563df22787c31a3149b93 (patch) | |
| tree | dbe009b1cc8b2c8821bea1e1dc459a6b71a9dcf8 /src/bootstrap/bin | |
| parent | 2628f579f6246df385acf9203bf2ffb6aedf5ccc (diff) | |
bootstrap: get rid of TEST_MIRI env var
Diffstat (limited to 'src/bootstrap/bin')
| -rw-r--r-- | src/bootstrap/bin/rustc.rs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/bootstrap/bin/rustc.rs b/src/bootstrap/bin/rustc.rs index 23f81c2c876..672b2ee1443 100644 --- a/src/bootstrap/bin/rustc.rs +++ b/src/bootstrap/bin/rustc.rs @@ -285,20 +285,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") { - // The flags here should be kept in sync with `add_miri_default_args` - // in miri's `src/lib.rs`. - cmd.arg("-Zalways-encode-mir"); - cmd.arg("--cfg=miri"); - // These options are preferred by miri, to be able to perform better validation, - // but the bootstrap compiler might not understand them. - if stage != "0" { - cmd.arg("-Zmir-emit-retag"); - cmd.arg("-Zmir-opt-level=0"); - } - } - if let Ok(map) = env::var("RUSTC_DEBUGINFO_MAP") { cmd.arg("--remap-path-prefix").arg(&map); } |
