diff options
Diffstat (limited to 'dev_tools/src/verify.rs')
| -rw-r--r-- | dev_tools/src/verify.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/dev_tools/src/verify.rs b/dev_tools/src/verify.rs index 319a38a..06db1b2 100644 --- a/dev_tools/src/verify.rs +++ b/dev_tools/src/verify.rs @@ -1,4 +1,3 @@ -use std::io::Write; use std::path::Path; use crate::println_cargo_style; @@ -293,7 +292,7 @@ pub fn build_block( Err(e) => return (false, format!("spawn: {e}")), }; - // Read stderr while it streams + // Read stderr (buffered, not forwarded — groups print their own output contiguously) use std::io::BufRead; let stderr_handle = child.stderr.take().unwrap(); let reader = std::io::BufReader::new(stderr_handle); @@ -301,7 +300,6 @@ pub fn build_block( for line in reader.lines() { match line { Ok(l) => { - let _ = writeln!(std::io::stderr(), "{l}"); captured.push_str(&l); captured.push('\n'); } |
