nalla
7ec2519146
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 >
2017-07-13 08:27:47 +02:00
..
2017-06-05 09:03:15 +09:00
2017-05-31 08:01:42 +09:00
2017-07-12 15:23:09 -07:00
2017-03-21 11:18:41 -07:00
2017-06-24 15:29:28 -07:00
2017-02-01 13:46:53 -08:00
2017-06-05 09:03:12 +09:00
2017-07-13 08:27:47 +02:00
2017-06-05 09:03:11 +09:00
2017-07-13 08:27:37 +02:00
2017-05-15 11:30:51 +09:00
2017-02-22 10:12:15 -08:00
2017-03-27 13:45:23 -07:00
2017-06-24 15:29:31 -07:00
2017-05-24 10:59:27 +09:00
2017-05-08 12:18:19 +09:00
2017-05-08 12:18:20 +09:00
2017-03-31 08:33:56 -07:00
2017-04-19 21:37:13 -07:00
2017-02-22 10:12:15 -08:00
2017-03-24 12:15:26 -07:00
2017-04-15 00:58:36 -07:00
2017-04-23 22:07:57 -07:00
2017-05-24 10:59:27 +09:00
2017-03-21 11:18:41 -07:00
2017-04-16 23:29:30 -07:00
2017-03-08 14:38:41 -08:00
2017-06-24 15:29:28 -07:00
2017-04-18 18:01:41 -07:00
2017-03-30 14:59:50 -07:00
2017-03-21 11:18:41 -07:00
2017-05-08 12:18:19 +09:00
2017-02-22 10:12:16 -08:00
2017-03-21 11:18:41 -07:00
2017-03-26 22:08:21 -07:00
2017-04-19 21:37:13 -07:00
2017-05-08 12:18:19 +09:00
2017-01-18 15:12:15 -08:00
2017-06-24 15:29:28 -07:00
2017-05-31 08:01:42 +09:00
2017-06-04 10:21:02 +09:00
2017-05-08 12:18:19 +09:00
2017-04-14 03:53:25 -07:00
2017-03-26 22:08:21 -07:00
2017-02-22 10:12:15 -08:00
2017-02-22 10:12:15 -08:00
2017-06-01 14:09:39 +09:00
2017-04-02 09:49:24 -07:00
2017-06-04 10:21:00 +09:00
2017-02-09 14:55:26 -08:00
2017-06-04 10:21:05 +09:00
2017-02-22 10:12:15 -08:00
2017-05-31 08:01:42 +09:00
2017-04-17 21:56:54 -07:00
2017-02-20 22:04:47 -08:00
2017-03-26 22:08:21 -07:00
2017-04-19 21:37:13 -07:00
2017-03-17 13:50:28 -07:00
2017-02-13 14:33:32 -08:00
2017-04-19 21:37:13 -07:00
2017-03-24 13:07:37 -07:00
2017-03-21 15:03:29 -07:00
2017-01-23 18:51:56 -08:00
2017-07-10 13:59:09 -07:00
2017-02-20 22:04:47 -08:00
2017-05-01 11:08:02 +09:00
2017-04-11 00:21:51 -07:00
2017-02-20 22:04:47 -08:00
2017-01-17 16:10:22 -08:00
2017-05-08 12:18:20 +09:00