diff options
| author | bors <bors@rust-lang.org> | 2023-10-04 20:19:16 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-04 20:19:16 +0000 |
| commit | 40c928e94638fdfbafe3e87a058f7cbf8615b311 (patch) | |
| tree | e75e4b98771e7d6722c72487f0a697f8f2d4f4ac | |
| parent | 4f73d3fc72abc570604a522c480d383aea766eee (diff) | |
| parent | 7d065db5c118af4d77960ec047c4b2b39eaa0065 (diff) | |
| download | rust-40c928e94638fdfbafe3e87a058f7cbf8615b311.tar.gz rust-40c928e94638fdfbafe3e87a058f7cbf8615b311.zip | |
Auto merge of #3105 - RalfJung:sysroot-target, r=RalfJung
miri-script: print which sysroot target we are building
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index de80777a689..c24035ae086 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} -- |