Skip to content

Commit

Permalink
Account for print_sysroot and quiet correctly
Browse files Browse the repository at this point in the history
Co-authored-by: Ralf Jung <post@ralfj.de>
  • Loading branch information
saethlin and RalfJung authored May 12, 2024
1 parent ad687f2 commit 5191888
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cargo-miri/src/setup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -167,7 +167,7 @@ pub fn setup(
.build_from_source(&rust_src);
match status {
Ok(SysrootStatus::AlreadyCached) =>
if only_setup {
if only_setup && !(print_sysroot || quiet) {
eprintln!(
"A sysroot for Miri is already available in `{}`.",
sysroot_dir.display()
Expand Down

0 comments on commit 5191888

Please sign in to comment.