From 444e2f003b6cf62a8c493d67136c9ccaa721fa2d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 27 Nov 2018 12:08:46 +0100
Subject: [PATCH] inform the user when nand where we are creating a cache dir

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

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index fb1b97269a..ed4ffa43db 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -149,6 +149,7 @@ fn setup(ask_user: bool) {
     let dirs = directories::ProjectDirs::from("miri", "miri", "miri").unwrap();
     let dir = dirs.cache_dir();
     if !dir.exists() {
+        println!("Creating `{}` and using it for miri's build of libstd", dir.display());
         fs::create_dir_all(&dir).unwrap();
     }
     // The interesting bit: Xargo.toml