miri-script: print which sysroot target we are building

rust-lang · Oct 4, 2023 · 9529b19 · 9529b19
1 parent 114f814
commit 9529b19
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} --