diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-07 13:41:06 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-07 13:41:06 +0000 |
| commit | 813b56b5ab4a3f5ad84b377ed0ff09504907eaaf (patch) | |
| tree | 9975938f77f87f10e62ebc22f09c5fc6a6983dc7 /src | |
| parent | 822feaa5eb68ea172b17e29fda982f840ddf2f20 (diff) | |
| download | rust-813b56b5ab4a3f5ad84b377ed0ff09504907eaaf.tar.gz rust-813b56b5ab4a3f5ad84b377ed0ff09504907eaaf.zip | |
Silence all the boilerplate around `./miri run` and `./miri run-dep`
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/miri/miri | 1 | ||||
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/miri b/src/tools/miri/miri index 3ab7cc25dec..ace3d17ae2a 100755 --- a/src/tools/miri/miri +++ b/src/tools/miri/miri @@ -325,6 +325,7 @@ run|run-dep) MIRIFLAGS="$MIRIFLAGS --target $MIRI_TEST_TARGET" fi + CARGO="$CARGO --quiet" # First build and get a sysroot. $CARGO build $CARGO_EXTRA_FLAGS --manifest-path "$MIRIDIR"/Cargo.toml find_sysroot diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index a2262222f49..120d5b9fc65 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -288,6 +288,5 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res cmd.arg(path); cmd.args(args); - println!("Running {cmd:?}"); if cmd.spawn()?.wait()?.success() { Ok(()) } else { std::process::exit(1) } } |