warn when cargo miri setup does not do anything

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index b6c448cc04574970bab78341b51c43c6cd0b5433..b24bf65629b00708dac40ce5740a2ae7804a55fb 100644 (file)
--- 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;
     }