Re: fflush & close behavior not well-defined

[Andrew J. Schorr]

On Thu, Oct 01, 2020 at 08:10:05AM -0600, arnold@skeeve.com wrote:
> I have no explanation. Maybe Chet does.
> 
> In the meantime I've updated the repo.

Hmm. I reran "make check" and got a different error on the iolint test.
But it's not repeatable.

============== _iolint =============
*** iolint.ok   2020-10-01 10:31:08.920674000 -0400
--- _iolint     2020-10-01 10:32:43.924134000 -0400
***************
*** 8,17 ****
  0
  0
  0
  foo
  0
! gawk: ./iolint.awk:30: warning: close: `cat' is not an open file, pipe or co-p
rocess
! -1
  gawk: ./iolint.awk:35: warning: unnecessary mixing of `>' and `>>' for file `f
2'
  0
  gawk: ./iolint.awk:37: warning: close: `f2' is not an open file, pipe or co-pr
ocess
--- 8,17 ----
  0
  0
  0
+ gawk: ./iolint.awk:28: warning: `cat' used for input file and output pipe
  foo
  0
! 0
  gawk: ./iolint.awk:35: warning: unnecessary mixing of `>' and `>>' for file `f
2'
  0
  gawk: ./iolint.awk:37: warning: close: `f2' is not an open file, pipe or co-pr
ocess