mirror of
https://github.com/boostorg/build.git
synced 2026-02-16 01:12:13 +00:00
78149308c4a2e327eedad104f37a9bf280d334d8
This is mostly for completeness but also because I've occasionally noticed output isn't flushed from a terminated process (when it is killed for exceeding the time limit). I'm sure this won't break anything and am slightly hopeful that it might ensure output is flushed before the terminating process is killed. [SVN r58785]
Description
Mirrored via gitea-mirror
Languages
C++
73.8%
Python
22.6%
C
1.6%
Batchfile
0.7%
Shell
0.6%
Other
0.6%