Skip to content

Commit 680df39

Browse files
committed
Play back stdin only when called from rustdoc
1 parent 75e5af3 commit 680df39

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

cargo-miri/bin.rs

+5-1
Original file line numberDiff line numberDiff line change
@@ -787,7 +787,11 @@ fn phase_cargo_runner(binary: &Path, binary_args: env::Args) {
787787
eprintln!("[cargo-miri runner] {:?}", cmd);
788788
}
789789

790-
exec_with_pipe(cmd, &info.stdin)
790+
if std::env::var_os("MIRI_CALLED_FROM_RUSTDOC").is_some() {
791+
exec_with_pipe(cmd, &info.stdin)
792+
} else {
793+
exec(cmd)
794+
}
791795
}
792796

793797
fn phase_cargo_rustdoc(fst_arg: &str, mut args: env::Args) {

0 commit comments

Comments
 (0)