nalla
521ae727f4
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-20 11:23:02 +01:00
..
2018-11-20 09:33:00 +01:00
2018-11-18 18:23:53 +09:00
2018-10-26 10:17:59 +09:00
2018-11-06 12:56:29 +09:00
2018-10-30 15:43:43 +09:00
2018-11-18 18:23:53 +09:00
2018-09-12 15:15:34 -07:00
2018-11-06 12:56:29 +09:00
2018-10-19 13:34:02 +09:00
2018-11-20 11:23:02 +01:00
2018-11-20 09:33:01 +01:00
2018-10-19 13:34:07 +09:00
2018-11-20 11:22:59 +01:00
2018-10-22 13:17:04 +09:00
2018-08-20 15:31:40 -07:00
2018-11-06 12:49:59 +09:00
2018-09-21 09:51:19 -07:00
2018-09-21 09:51:19 -07:00
2018-09-21 09:51:19 -07:00
2018-10-19 13:34:02 +09:00
2018-10-19 13:34:02 +09:00
2018-11-20 09:33:01 +01:00
2018-10-15 12:53:15 +09:00
2018-11-18 18:23:53 +09:00
2018-10-19 13:34:02 +09:00
2018-11-13 22:37:26 +09:00
2018-11-20 09:41:10 +01:00
2018-11-18 18:23:53 +09:00
2018-09-21 09:48:11 -07:00
2018-10-26 14:22:13 +09:00
2018-11-05 13:42:11 +09:00
2018-11-20 09:32:58 +01:00
2018-11-06 12:56:29 +09:00
2018-11-06 12:56:29 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:17 +09:00
2018-11-02 11:04:55 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:27 +09:00
2018-11-18 18:23:54 +09:00
2018-10-15 12:53:15 +09:00
2018-09-17 13:49:38 -07:00
2018-11-18 18:23:57 +09:00
2018-11-18 18:23:53 +09:00
2018-08-20 15:31:40 -07:00
2018-11-06 15:50:21 +09:00
2018-11-18 18:23:54 +09:00
2018-08-27 14:33:43 -07:00
2018-10-19 13:34:02 +09:00
2018-11-06 12:56:29 +09:00
2018-10-09 10:44:10 +09:00
2018-11-18 18:23:59 +09:00
2018-10-30 15:43:46 +09:00
2018-11-13 22:37:26 +09:00
2018-09-24 10:30:52 -07:00
2018-11-20 09:41:10 +01:00
2018-10-19 13:34:02 +09:00
2018-11-13 22:37:27 +09:00
2018-11-20 09:32:59 +01:00
2018-11-06 15:50:21 +09:00
2018-11-13 22:37:23 +09:00
2018-09-21 09:51:19 -07:00
2018-08-29 11:32:49 -07:00
2018-08-27 14:33:43 -07:00
2018-09-21 09:51:19 -07:00
2018-11-06 12:56:29 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:22 +09:00
2018-11-06 12:56:29 +09:00
2018-08-29 11:32:49 -07:00
2018-11-18 18:23:53 +09:00
2018-09-12 15:17:17 -07:00
2018-10-26 10:17:59 +09:00
2018-10-31 11:41:47 +09:00
2018-08-17 13:09:56 -07:00