Re: [bug-gawk] fflush and redirection

[Aharon Robbins]

Hi. Sorry for the delay in replying.  Thanks for the bug report and
suggested patch.  Please try the patch below, instead, which restores the
code to what it was in 3.1.8. This is probably only the first of the
bugs where some bit of code got misplaced in translation to the new
internals.

Arnold

diff --git a/builtin.c b/builtin.c
index 724ea6d..1d841dc 100644
--- a/builtin.c
+++ b/builtin.c
@@ -105,7 +105,7 @@ efwrite(const void *ptr,
        if (fwrite(ptr, size, count, fp) != count)
                goto wrerror;
        if (flush
-         && (output_is_tty
+         && ((fp == stdout && output_is_tty)
              || (rp != NULL && (rp->flag & RED_NOBUF)))) {
                fflush(fp);
                if (ferror(fp))