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

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

Browse source 
Hide full miri command line in `./miri run-dep`

fixes #2443
This commit is contained in:
bors 2023-05-23 10:03:01 +00:00
commit 053edf46bb
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) }
}