[PATCH] Unbuffer stdout and stderr on windows

[Eli Zaretskii]

> Date: Fri, 16 Aug 2013 16:10:05 +0100
> From: Pedro Alves <palves@redhat.com>
> CC: yao@codesourcery.com, gdb-patches@sourceware.org, brobecker@adacore.com
> 
> - First, make stderr always unbuffered.  That's what you get on
> most platforms anyway.
> - Then, somewhere along fputs_unfiltered or some central output routine,
> keep track of which was the last to be used between stdout and stderr.
> If outputting to stderr, flush stdout first.  Don't need to do the
> opposite, since stderr will always be unbuffered.

I'm okay with that, FWIW.