We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b8eee76 commit 384c05fCopy full SHA for 384c05f
src/tools/miri/miri-script/src/commands.rs
@@ -57,7 +57,9 @@ impl MiriEnv {
57
.arg("--")
58
.args(&["miri", "setup", "--print-sysroot"])
59
.args(target_flag);
60
- cmd.set_quiet(quiet);
+ if quiet {
61
+ cmd = cmd.arg("--quiet");
62
+ }
63
let output = cmd.read()?;
64
self.sh.set_var("MIRI_SYSROOT", &output);
65
Ok(output.into())
0 commit comments