update comment

RalfJung · oli-obk · RalfJung · commit ba3b354af98e · 2020-09-17T17:33:47.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
@@ -444,7 +444,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
`@@ -444,7 +444,7 @@ fn phase_cargo_miri(mut args: env::Args) {`
`444`	`444`
`445`	`445`	`// Run cargo.`
`446`	`446`	`if verbose {`
`447`		- cmd.env("MIRI_VERBOSE", ""); // this makes `inside_cargo_rustc` verbose.
	`447`	`+ cmd.env("MIRI_VERBOSE", ""); // This makes the other phases verbose.`
`448`	`448`	`eprintln!("[cargo-miri miri] {:?}", cmd);`
`449`	`449`	`}`
`450`	`450`	`exec(cmd)`