diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-23 07:51:09 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-23 07:51:09 +0000 |
| commit | 0f5ac8372bff11744ae0965c9833f558d774a6d0 (patch) | |
| tree | 07645d059bfbe93c9e8e2606a047c9f5ced8d093 /src | |
| parent | aee196fb14207584ac384c502309b67d35d0555a (diff) | |
| download | rust-0f5ac8372bff11744ae0965c9833f558d774a6d0.tar.gz rust-0f5ac8372bff11744ae0965c9833f558d774a6d0.zip | |
Hide full miri command line in `./miri run-dep`
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 1 |
1 files changed, 0 insertions, 1 deletions
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) } } |