diff --git a/src/driver.rs b/src/driver.rs
index b7caea3f631a5d36754c4e2e70cf9fabcfa6f8d1..216d52c8dc579b600c6f606519a7df8b6799eb14 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
     }
 }