Gregory Nutt 4935ab5243 printf() and vprintf() must use C buffered I/O if available.
This backs out a part of PR 1179 which has a very serious error:  If C buffered I/O is available, then printf() and vprintf MUST use it.  Otherwise, the ordering of the I/O will be screwed up.  They must not use direct file descriptor I/O UNLESS C buffered I/O is disabled.
2020-06-03 18:38:19 +01:00
..
2020-05-01 10:43:47 -03:00
2019-02-14 07:03:02 -06:00
2020-01-02 10:54:43 -06:00
2020-01-29 09:04:25 +01:00
2019-02-15 18:26:06 -06:00
2020-01-02 10:54:43 -06:00
2020-06-03 07:35:08 -06:00
2020-06-03 07:35:08 -06:00