From bc274214f406d2ef9ab03b46bc5dd5ef0f33ec9e Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Sun, 21 Jan 2018 20:41:36 -0500
Subject: [PATCH] remove vestigial miri option
---
src/driver.rs | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/driver.rs b/src/driver.rs
index b7caea3..216d52c 100644
--- a/src/driver.rs
+++ b/src/driver.rs
@@ -50,11 +50,7 @@ impl<'a> CompilerCalls<'a> for SeerCompilerCalls {
let mut control = self.0.build_controller(sess, matches);
control.after_hir_lowering.callback = Box::new(after_hir_lowering);
control.after_analysis.callback = after_analysis_run_main(self.1.clone());
-
- if std::env::var("MIRI_HOST_TARGET") != Ok("yes".to_owned()) {
- // only fully compile targets on the host
- control.after_analysis.stop = Compilation::Stop;
- }
+ control.after_analysis.stop = Compilation::Stop;
control
}
}
--
GitLab