From 9529b19a76319eb9f0006e272d0c51a32bd1124b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 4 Oct 2023 22:17:15 +0200
Subject: [PATCH] miri-script: print which sysroot target we are building

---
 miri-script/src/commands.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/miri-script/src/commands.rs b/miri-script/src/commands.rs
index de80777a68..c24035ae08 100644
--- a/miri-script/src/commands.rs
+++ b/miri-script/src/commands.rs
@@ -37,7 +37,10 @@ impl MiriEnv {
             Err(_) => vec![],
         };
         if !quiet {
-            eprintln!("$ (building Miri sysroot)");
+            match self.sh.var("MIRI_TEST_TARGET") {
+                Ok(target) => eprintln!("$ (building Miri sysroot for {target})"),
+                Err(_) => eprintln!("$ (building Miri sysroot)"),
+            }
         }
         let output = cmd!(self.sh,
             "cargo +{toolchain} --quiet run {cargo_extra_flags...} --manifest-path {manifest_path} --