From 2481d6091ac59bec4e54be04b7361596c80412df Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 19 Apr 2019 19:27:19 +0200
Subject: [PATCH] warn when cargo miri setup does not do anything

---
 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 b6c448cc045..b24bf65629b 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -172,6 +172,9 @@ fn ask(question: &str) {
 /// done all this already.
 fn setup(ask_user: bool) {
     if std::env::var("MIRI_SYSROOT").is_ok() {
+        if !ask_user {
+            println!("WARNING: MIRI_SYSROOT already set, not doing anything.")
+        }
         return;
     }
 
-- 
2.44.0