> On Mar 22, 2025, at 3:51 PM, Tim Murphy <tnmur...@gmail.com> wrote:
> 
> I cannot at the moment see this being added to make proper - at least not for 
> some time.

I don't see why. This seems like useful general-purpose functionality.

I would encourage creating a version that can be added & asking to get it added.
I, for one, am unlikely to use it unless it's in the mainline "make" - but I'd 
be a happy user
if it's in there.

-- David A. Wheeler


Reply via email to