update comment

RalfJung · oli-obk · web-flow · commit 74db22842042 · 2020-09-09T11:48:44.000+02:00
Co-authored-by: Oli Scherer &lt;github35764891676564198441@oli-obk.de&gt;
diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs
@@ -441,7 +441,7 @@ fn phase_cargo_miri(mut args: env::Args) {
 
     // Run cargo.
     if verbose {
-        cmd.env("MIRI_VERBOSE", ""); // this makes `inside_cargo_rustc` verbose.
+        cmd.env("MIRI_VERBOSE", ""); // This makes the other phases verbose.
         eprintln!("[cargo-miri miri] {:?}", cmd);
     }
     exec(cmd)

Original file line number	Diff line number	Diff line change
`@@ -441,7 +441,7 @@ fn phase_cargo_miri(mut args: env::Args) {`
`441`	`441`
`442`	`442`	`// Run cargo.`
`443`	`443`	`if verbose {`
`444`		- cmd.env("MIRI_VERBOSE", ""); // this makes `inside_cargo_rustc` verbose.
	`444`	`+ cmd.env("MIRI_VERBOSE", ""); // This makes the other phases verbose.`
`445`	`445`	`eprintln!("[cargo-miri miri] {:?}", cmd);`
`446`	`446`	`}`
`447`	`447`	`exec(cmd)`