Skip to content

Commit 7d065db

Browse files
committed
miri-script: print which sysroot target we are building
1 parent 43d1042 commit 7d065db

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/tools/miri/miri-script/src/commands.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,10 @@ impl MiriEnv {
3737
Err(_) => vec![],
3838
};
3939
if !quiet {
40-
eprintln!("$ (building Miri sysroot)");
40+
match self.sh.var("MIRI_TEST_TARGET") {
41+
Ok(target) => eprintln!("$ (building Miri sysroot for {target})"),
42+
Err(_) => eprintln!("$ (building Miri sysroot)"),
43+
}
4144
}
4245
let output = cmd!(self.sh,
4346
"cargo +{toolchain} --quiet run {cargo_extra_flags...} --manifest-path {manifest_path} --

0 commit comments

Comments
 (0)