Re: readdir extension on windows with getline

[Eli Zaretskii]

> Date: Thu, 26 Jan 2023 18:35:59 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: jim.dailey@alumni.utexas.net, help-gawk@gnu.org
> 
> But the fact is that the OP's program fails on GNU/Linux exactly as
> it fails on Windows.

I stand corrected: the OP's script does work on GNU/Linux.  So I guess
this is Windows specific.  I will try to look at this when I have
time.