diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-27 23:33:06 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-27 23:33:06 +0000 |
commit | 912776fd9547d1d28b4cba7e4a41e5391fc12c21 (patch) | |
tree | 3b4137a41a8e2ad8a7baf20be9ec55c728a8b42f /.gitattributes | |
parent | 5dd8f8e26f2a62f5e7e4da50dcdfde344f6d31b9 (diff) | |
parent | c34571c19e727654139a27c5b9d656485fb516f9 (diff) |
Merge #2916
2916: Buffer reads from cargo check's stdout r=matklad a=lnicola
`Stdio::piped()` is unbuffered, which caused RA to read the output of `cargo check` one byte at a time (out of 114KB in my test).
This isn't obviously faster on my system, but making fewer syscalls sounds like a good idea.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions