From 197b75764cb1069c7fb063e9ef25d41cb36729d2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 11 Jul 2018 19:33:52 +0200
Subject: [PATCH] without aux builds, we don't need to set always-encode-mir
 any more

---
 src/bin/miri.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index f6dc65a0d27c..2cc22d7a7deb 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -229,9 +229,6 @@ fn main() {
         }
     });
 
-    // Make sure we always have all the MIR (e.g. for auxilary builds in unit tests).
-    args.push("-Zalways-encode-mir".to_owned());
-
     rustc_driver::run_compiler(&args, Box::new(MiriCompilerCalls {
         default: Box::new(RustcDefaultCalls),
         start_fn,