Auto merge of rust-lang#2901 - oli-obk:noisy, r=RalfJung

Hide full miri command line in `./miri run-dep` fixes rust-lang#2443
RalfJung · May 23, 2023 · 053edf4 · 053edf4
2 parents 13e4766 + 0f5ac83
commit 053edf4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs
@@ -277,7 +277,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
     // the arguments to the interpreted prog
     cmd.arg("--");
     cmd.args(args);
-    println!("{cmd:?}");
     if cmd.spawn()?.wait()?.success() { Ok(()) } else { std::process::exit(1) }
 }