Re: [PATCH] Unbuffer stdout and stderr on windows

Eli Zaretskii
2013-08-16T15:43:43Z

> Date: Fri, 16 Aug 2013 16:23:58 +0100
> From: Pedro Alves <palves@redhat.com>
> CC: Eli Zaretskii <eliz@gnu.org>, yao@codesourcery.com, brobecker@adacore.com
>
> Or alternatively, like Tromey suggested, make fputs_unfiltered
> or some such implement line buffering internally (for Windows hosts),
> either by just forcing flushes at endlines (partial emulation), or
> with real local buffering.

I'm okay with that, too.