On Wed, 1 Nov 2023 at 13:58, Paul D. Smith wrote:
> GNU Make is used by so many people for so many things, and I'm leery of
> creating some new facility that ends up being "not really right" for what
> people want to do, but that then must be maintained forever going forward.
>
It seems to me to
Follow-up Comment #3, bug #64571 (project make):
This is the right place for patches. I did look at this patch; it's not quite
right (IIRC) but of course it could be adjusted relatively straightforwardly.
The hard thing about this request is not the code. The hard thing is the
design. I'm just
Follow-up Comment #2, bug #64571 (project make):
@mrsquee yeah I also found it confusing since there are some open patches but
"Submit new" is disabled with no clue why. I think I read somewhere that they
want you to just submit bugs with a patch attached, so that's what I did. Very
unintuitive.
