From e12d4bc70c018e366e0ac896f60b456019e63986 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 2 Dec 2018 14:03:29 +0100
Subject: [PATCH] build libstd with minimal features

---
 src/bin/cargo-miri.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 4c83c5bd3dc..2dc6eee5de9 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -155,6 +155,9 @@ fn setup(ask_user: bool) {
     File::create(dir.join("Xargo.toml")).unwrap()
         .write_all(br#"
 [dependencies.std]
+default_features = false
+# We need the `panic_unwind` feature because we use the `unwind` panic strategy.
+# Using `abort` works for libstd, but then libtest will not compile.
 features = ["panic_unwind"]
 
 [dependencies.test]