From 0f5ac8372bff11744ae0965c9833f558d774a6d0 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Tue, 23 May 2023 07:51:09 +0000
Subject: Hide full miri command line in `./miri run-dep`

---
 src/tools/miri/tests/compiletest.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs
index fa06c4b6a12..71959fa1158 100644
--- 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) }
 }
 
-- 
cgit 1.4.1-3-g733a5