On Wed, Nov 28, 2012 at 08:40:07PM -0500, Thomas Dickey wrote:
> On Wed, Aug 18, 2010 at 06:03:24PM -0500, Jonathan Nieder wrote:
> > tags 593504 + upstream
> > quit
> > 
> > Thomas Dickey wrote:
> > 
> > > thanks - I see that it's not fixed in upstream
> > 
> > Tagging accordingly.
> 
> I happened to revisit this one, and realized it's not a bug per se.
> 
> gawk does a fflush after each write to stdout when stdout happens to
> be a tty.
> 
> man mawk provides this option:
> 
>        -W interactive sets unbuffered writes to stdout and line buffered reads
>                       from stdin.  Records from stdin are lines regardless  of
>                       the value of RS.
> 
> Given that mawk's trying to be fast, doing what gawk is doing would
> detract from that goal.  The option's there for people who want it.

Note the bug title, though: even with an *explicit* fflush, mawk doesn't
produce incremental output.

- Josh Triplett


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to