Silence all the boilerplate around ./miri run
and ./miri run-dep
This commit is contained in:
parent
822feaa5eb
commit
813b56b5ab
@ -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
|
||||
|
@ -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) }
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user