nalla
4621a08c44
mingw: explicitly fflush stdout
...
For performance reasons `stdout` is not unbuffered by default. That leads
to problems if after printing to `stdout` a read on `stdin` is performed.
For that reason interactive commands like `git clean -i` do not function
properly anymore if the `stdout` is not flushed by `fflush(stdout)` before
trying to read from `stdin`.
In the case of `git clean -i` all reads on `stdin` were preceded by a
`fflush(stdout)` call.
Signed-off-by: nalla <nalla@hamal.uberspace.de >
2018-11-19 23:29:31 +01:00
..
2018-11-19 14:32:15 +01:00
2018-09-04 14:31:38 -07:00
2018-08-13 14:14:44 -07:00
2018-08-13 14:14:43 -07:00
2018-08-20 11:33:53 -07:00
2018-08-16 11:17:10 -07:00
2018-08-20 11:33:53 -07:00
2018-08-13 14:14:43 -07:00
2018-08-27 14:33:43 -07:00
2018-08-20 11:33:53 -07:00
2018-11-19 23:29:31 +01:00
2018-11-19 14:32:15 +01:00
2018-07-17 15:47:48 -07:00
2018-06-29 10:43:39 -07:00
2018-11-19 23:29:29 +01:00
2018-08-15 15:08:23 -07:00
2018-07-18 12:20:28 -07:00
2018-08-13 14:14:42 -07:00
2018-06-29 10:43:39 -07:00
2018-08-17 13:09:56 -07:00
2018-11-19 14:32:15 +01:00
2018-08-15 15:08:28 -07:00
2018-08-15 15:08:23 -07:00
2018-08-15 15:08:23 -07:00
2018-11-19 14:32:56 +01:00
2018-08-20 11:33:53 -07:00
2018-07-18 12:20:28 -07:00
2018-08-15 15:08:23 -07:00
2018-11-19 17:58:03 +01:00
2018-08-15 15:08:23 -07:00
2018-08-13 14:14:43 -07:00
2018-06-29 10:43:39 -07:00
2018-07-16 14:27:39 -07:00
2018-07-18 12:20:28 -07:00
2018-08-15 15:08:23 -07:00
2018-06-29 10:43:39 -07:00
2018-07-18 12:20:28 -07:00
2018-11-19 14:33:38 +01:00
2018-08-14 12:29:57 -07:00
2018-08-15 15:08:23 -07:00
2018-08-27 14:33:43 -07:00
2018-08-27 14:33:43 -07:00
2018-08-27 13:13:59 -07:00
2018-08-17 13:09:56 -07:00
2018-08-02 15:30:42 -07:00
2018-07-18 12:20:28 -07:00
2018-08-27 14:33:43 -07:00
2018-11-19 14:32:56 +01:00
2018-08-15 15:08:23 -07:00
2018-11-19 14:32:14 +01:00
2018-08-02 15:30:42 -07:00
2018-07-18 12:20:28 -07:00
2018-08-20 12:41:34 -07:00
2018-08-20 11:33:53 -07:00
2018-08-27 14:33:43 -07:00
2018-08-17 13:09:56 -07:00
2018-08-17 13:09:56 -07:00
2018-09-27 11:50:45 -07:00
2018-07-18 12:20:28 -07:00
2018-08-15 15:08:23 -07:00
2018-08-20 11:33:53 -07:00
2018-08-13 14:14:43 -07:00
2018-07-18 15:45:14 -07:00
2018-06-29 10:43:39 -07:00
2018-08-17 15:18:01 -07:00
2018-08-17 13:09:56 -07:00