On Mon, 2023-07-10 at 12:56 -0400, Stefan Monnier wrote:
> > There ARE things we could do with GNU Make still that would make it
> > more useful, and faster in some situations, without throwing away
> > the millions of existing makefiles and the knowledgebase. I
> > maintain a list of them so if t
> There ARE things we could do with GNU Make still that would make it
> more useful, and faster in some situations, without throwing away the
> millions of existing makefiles and the knowledgebase. I maintain a
> list of them so if this kind of works tickles your fancy, or you have
> idea of your
