From 28725d44a63c7be471ceba9f34de954011acdf59 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 28 Sep 2022 22:38:38 +0200
Subject: [PATCH] no need to make cargo-miri build quiet; cargo only prints to
 stderr anyway

---
 src/tools/miri/miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/miri b/src/tools/miri/miri
index 19f1a987ace..e492308a62e 100755
--- a/src/tools/miri/miri
+++ b/src/tools/miri/miri
@@ -138,7 +138,7 @@ export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR $RUSTFLAGS"
 
 # Build a sysroot and set MIRI_SYSROOT to use it. Arguments are passed to `cargo miri setup`.
 build_sysroot() {
-    if ! MIRI_SYSROOT="$($CARGO run $CARGO_EXTRA_FLAGS --manifest-path "$MIRIDIR"/cargo-miri/Cargo.toml -q -- miri setup --print-sysroot "$@")"; then
+    if ! MIRI_SYSROOT="$($CARGO run $CARGO_EXTRA_FLAGS --manifest-path "$MIRIDIR"/cargo-miri/Cargo.toml -- miri setup --print-sysroot "$@")"; then
         echo "'cargo miri setup' failed"
         exit 1
     fi