mirror of
https://github.com/boostorg/build.git
synced 2026-02-15 00:52:16 +00:00
20094eaacc66ff5cb65e17648e6e231f73388d73
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%