Re: MinGw port of gawkextlib

[Eli Zaretskii]

> Date: Thu, 12 May 2022 13:23:31 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: mcollado2011@gmail.com, bug-gawk@gnu.org
> 
> On Thu, May 12, 2022 at 08:19:55PM +0300, Eli Zaretskii wrote:
> > 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.
> 
> The question is whether an extension, when running it's own "check" code,
> would need to pull in other extensions in addition to its own that was
> just built.

Yes, that's the issue.