message: no need to make cargo-miri build quiet; cargo only prints to stderr anyway
diff: @@ -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
  