From cb913698d28b911e4ea0b5113c3f4e102ee0285c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 16 Oct 2019 10:45:48 +0200
Subject: [PATCH] make sure we don't install more than we have to

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 0187047534d4..6d0173aaf04e 100644
--- a/README.md
+++ b/README.md
@@ -105,6 +105,7 @@ nightly that *does* come with Miri:
 ```sh
 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+rustup set profile minimal
 rustup default "$MIRI_NIGHTLY"
 
 rustup component add miri