From 7d065db5c118af4d77960ec047c4b2b39eaa0065 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

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

diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs
index de80777a689f..c24035ae0862 100644
--- a/src/tools/miri/miri-script/src/commands.rs
+++ b/src/tools/miri/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} --