-
Alexandre Duret-Lutz authored
* bin/common_cout.cc (check_cout): Force a flush of cout if more than 20ms has elapsed since the last explicit flush. * bin/common_setup.cc (setup): Untie cin and cout if the input is not a TTY, so that cout is flush less often. * NEWS: Mention the change.
0c9c4be4
To find the state of this project's repository at the time of any of these versions, check out the tags.