user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Hide full miri command line in ./miri run-dep

Browse source
This commit is contained in:
Oli Scherer 2023-05-23 07:51:09 +00:00
parent aee196fb14
commit 0f5ac8372b
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tools/miri/tests/compiletest.rs
View file

@ -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) }
}