different debugging

rust-lang · May 4, 2024 · 242f2e9 · 242f2e9
1 parent 6a4eec7
commit 242f2e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ci/ci.sh b/ci/ci.sh
@@ -74,7 +74,7 @@ function run_tests {
     # Also run some many-seeds tests. 64 seeds means this takes around a minute per test.
     # (Need to invoke via explicit `bash -c` for Windows.)
     time for FILE in tests/many-seeds/*.rs; do
-      MIRI_SEEDS=$MANY_SEEDS ./miri many-seeds "$BASH" -c "CARGO_LOG=cargo::core::compiler::fingerprint=trace ./miri run -v '$FILE'"
+      MIRI_SEEDS=$MANY_SEEDS ./miri many-seeds "$BASH" -c "./miri run -v '$FILE'"
     done
   fi
   if [ -n "${TEST_BENCH-}" ]; then

diff --git a/miri-script/src/commands.rs b/miri-script/src/commands.rs
@@ -532,7 +532,7 @@ impl Command {
         let miri_flags = flagsplit(&miri_flags);
         let toolchain = &e.toolchain;
         let extra_flags = &e.cargo_extra_flags;
-        let quiet_flag = if verbose { None } else { Some("--quiet") };
+        let quiet_flag = if verbose { Some("-v") } else { Some("--quiet") };
         let mut cmd = if dep {
             cmd!(
                 e.sh,