1 files changed, 5 insertions, 0 deletions
diff --git a/src/driver/driver.rs b/src/driver/driver.rs
index b8bd79eedbb..97e01d1bcdc 100644
--- a/src/driver/driver.rs
+++ b/src/driver/driver.rs
@@ -8,6 +8,11 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#[no_core];
+#[no_std];
+
+extern mod core(name = "std", vers = "0.7-pre");
+
 #[cfg(rustpkg)]
 extern mod this(name = "rustpkg");