diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-04 22:17:15 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-10-04 22:17:15 +0200 |
| commit | 7d065db5c118af4d77960ec047c4b2b39eaa0065 (patch) | |
| tree | 9fa855fe284008d1934e9454d6d060947dfb36bf | |
| parent | 43d10428c8fc022cc3cdda6ba3272b53f78c8310 (diff) | |
| download | rust-7d065db5c118af4d77960ec047c4b2b39eaa0065.tar.gz rust-7d065db5c118af4d77960ec047c4b2b39eaa0065.zip | |
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} -- |