From eba8d293022706412c290ebe2d4c4ad85b550689 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 18 Nov 2023 15:55:58 +0100 Subject: [PATCH] cargo-miri: when verbose, print where the sysroot is being built --- src/tools/miri/cargo-miri/src/setup.rs | 19 ++++++++++++++----- 1 file changed, 14 insertions(+), 5 deletions(-) diff --git a/src/tools/miri/cargo-miri/src/setup.rs b/src/tools/miri/cargo-miri/src/setup.rs index d921741d5dec..8ae5b8c3e82c 100644 --- a/src/tools/miri/cargo-miri/src/setup.rs +++ b/src/tools/miri/cargo-miri/src/setup.rs @@ -2,6 +2,7 @@ use std::env; use std::ffi::OsStr; +use std::fmt::Write; use std::path::PathBuf; use std::process::{self, Command}; @@ -140,12 +141,20 @@ pub fn setup( // Do the build. if print_sysroot { // Be silent. - } else if only_setup { - // We want to be explicit. - eprintln!("Preparing a sysroot for Miri (target: {target})..."); } else { - // We want to be quiet, but still let the user know that something is happening. - eprint!("Preparing a sysroot for Miri (target: {target})... "); + let mut msg = String::new(); + write!(msg, "Preparing a sysroot for Miri (target: {target})").unwrap(); + if verbose > 0 { + write!(msg, " in {}", sysroot_dir.display()).unwrap(); + } + write!(msg, "...").unwrap(); + if only_setup { + // We want to be explicit. + eprintln!("{msg}"); + } else { + // We want to be quiet, but still let the user know that something is happening. + eprint!("{msg} "); + } } SysrootBuilder::new(&sysroot_dir, target) .build_mode(BuildMode::Check)