Re: MinGw port of gawkextlib

[Eli Zaretskii]

> Date: Thu, 12 May 2022 12:56:35 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: Manuel Collado <mcollado2011@gmail.com>, bug-gawk@gnu.org
> 
> > Yes, d: is not general enough.  But we could use [a-z] instead.
> 
> I think it will be simpler to follow Manuel's original suggestion and simply
> define AWKLIBPATH=../.libs.  That will work unless testing an extension
> requires pulling in other extensions, which seems a bit unlikely. I will check
> if that causes any trouble for any of the existing extensions.

If you know that no other extensions installed by Gawk will ever be
needed, then yes, removing that would be a simplification.  But then I
wonder why you added that in the first place.