Auto merge of #3105 - RalfJung:sysroot-target, r=RalfJung

miri-script: print which sysroot target we are building
rust-lang · Oct 4, 2023 · f95fb21 · f95fb21
2 parents 448452d + 9529b19
commit f95fb21
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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} --