different debugging

rust-lang · May 4, 2024 · 1fc5e64 · 1fc5e64
1 parent 6a4eec7
commit 1fc5e64
Showing 1 changed file with 1 addition and 1 deletion.
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 "CARGO_EXTRA_FLAGS='$CARGO_EXTRA_FLAGS -v' ./miri run -v '$FILE'"
     done
   fi
   if [ -n "${TEST_BENCH-}" ]; then