Re: readdir extension on windows with getline

[Eli Zaretskii]

> Date: Thu, 26 Jan 2023 11:19:36 -0500
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: Jim Dailey <jim.dailey@alumni.utexas.net>, help-gawk@gnu.org
> 
> On Thu, Jan 26, 2023 at 12:17:14PM +0200, Eli Zaretskii wrote:
> > AFAICT, the readdir extension cannot be used with getline, since
> > getline redirection seems to ignore the registered input parsers.
> 
> I don't think that's correct. Getline should work with input parsers.
> In fact, this trivial script works for me on Linux:
> 
> gawk -l readdir 'BEGIN {while ((getline < "/tmp") > 0) print}'
> 
> This same script works properly on Cygwin as well.

Then I guess I've misread the source code, sorry about that.  But the
fact is that the OP's program fails on GNU/Linux exactly as it fails
on Windows.