Play back stdin only when called from rustdoc

teryror · teryror · commit 11c3029e12c3 · 2021-01-23T18:23:44.000+01:00
diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs
@@ -792,7 +792,11 @@ fn phase_cargo_runner(binary: &Path, binary_args: env::Args) {
         eprintln!("[cargo-miri runner] {:?}", cmd);
     }
 
-    exec_with_pipe(cmd, &info.stdin)
+    if std::env::var_os("MIRI_CALLED_FROM_RUSTDOC").is_some() {
+        exec_with_pipe(cmd, &info.stdin)
+    } else {
+        exec(cmd)
+    }
 }
 
 fn phase_cargo_rustdoc(fst_arg: &str, mut args: env::Args) {

Original file line number	Diff line number	Diff line change
`@@ -792,7 +792,11 @@ fn phase_cargo_runner(binary: &Path, binary_args: env::Args) {`
`792`	`792`	`eprintln!("[cargo-miri runner] {:?}", cmd);`
`793`	`793`	`}`
`794`	`794`
`795`		`- exec_with_pipe(cmd, &info.stdin)`
	`795`	`+ if std::env::var_os("MIRI_CALLED_FROM_RUSTDOC").is_some() {`
	`796`	`+ exec_with_pipe(cmd, &info.stdin)`
	`797`	`+ } else {`
	`798`	`+ exec(cmd)`
	`799`	`+ }`
`796`	`800`	`}`
`797`	`801`
`798`	`802`	`fn phase_cargo_rustdoc(fst_arg: &str, mut args: env::Args) {`