Re: [bug-gawk] make check: 2 TESTS FAILED

[Hermann Peifer]

On 2013-10-20 21:38, Aharon Robbins wrote:
> Here is a fresh patch, relative to what's in git.
>
> Please let me know if this helps.

The warning message continues to occur sometimes and accordingly, make 
check fails (sometimes), see below.

Hermann

$ while :; do printf "===\n" ; AWK=./gawk test/exit.sh >/dev/null ; done
===
gawk: warning: error writing standard output (Broken pipe)
gawk: warning: error writing standard output (Broken pipe)
===
gawk: warning: error writing standard output (Broken pipe)
===
===
gawk: warning: error writing standard output (Broken pipe)
===
===
gawk: warning: error writing standard output (Broken pipe)
===
gawk: warning: error writing standard output (Broken pipe)
===
gawk: warning: error writing standard output (Broken pipe)
===
===
gawk: warning: error writing standard output (Broken pipe)
===
===
===
===
===
===
===
===
===
===
gawk: warning: error writing standard output (Broken pipe)
===
gawk: warning: error writing standard output (Broken pipe)
===
gawk: warning: error writing standard output (Broken pipe)
===
===
gawk: warning: error writing standard output (Broken pipe)
gawk: warning: error writing standard output (Broken pipe)
===
===
^C