[bug-gawk] -i infile unexpected behavior

[Ed Morton]

I don't believe this is the way `-i infile` (http://www.gnu.org/software/gawk/manual/gawk.html#Extension-Sample-Inplace) should work:

$ cat file
foo
$ awk -i infile 'END{print "bar"}' file
bar
$ awk -i infile 'ENDFILE{print "bar"}' file
bar
$ cat file
foo

I expected "bar" to get written to "file" in both the `END` and `ENDFILE` conditions, not printed to stdout. I'm on cygwin:

$ gawk --version
GNU Awk 4.1.1, API: 1.1 (GNU MPFR 3.1.2, GNU MP 6.0.0)

Regards,

    Ed.