1
Fork 0

rustdoc: Use a BufferedWriter when emitting source

This takes the rendering time of source files for libstd from 12.5s to 0.1s,
turns out write! calls the write function *a lot*
This commit is contained in:
Alex Crichton 2013-09-30 16:08:12 -07:00
parent cc1791584f
commit fb259855dc
2 changed files with 13 additions and 3 deletions

View file

@ -146,7 +146,7 @@ pub fn main_args(args: &[~str]) -> int {
}
}
let ended = time::precise_time_ns();
info2!("Took {:.03f}s", (ended as f64 - started as f64) / 1000000000f64);
info2!("Took {:.03f}s", (ended as f64 - started as f64) / 1e9f64);
return 0;
}