aboutsummaryrefslogtreecommitdiff
path: root/dev_tools/src/verify.rs
diff options
context:
space:
mode:
author魏曹先生 <1992414357@qq.com>2026-06-23 21:03:35 +0800
committer魏曹先生 <1992414357@qq.com>2026-06-23 21:07:27 +0800
commit96aa7e23766ffd038a43638ab0b60d04942f0430 (patch)
treed123cd1a4b0da5472c897e8b0944f700b8dad161 /dev_tools/src/verify.rs
parent270217d5e0e7de1d1cac5b634b1e9c54b197e0ce (diff)
Parallelize markdown code block verification
Diffstat (limited to 'dev_tools/src/verify.rs')
-rw-r--r--dev_tools/src/verify.rs4
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');
}