Skip to content

Commit f95fb21

Browse files
committed
Auto merge of #3105 - RalfJung:sysroot-target, r=RalfJung
miri-script: print which sysroot target we are building
2 parents 448452d + 9529b19 commit f95fb21

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

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)