On Wed, 2021-03-03 at 22:00 +0100, Goran V. wrote: > Am Mittwoch, den 03.03.2021, 15:41 -0500 schrieb Paul Smith: > Yes, that is what I mean with "a feature like that". But I must say > that I'm in no position to propose a patch as make is huge, > http://git.savannah.gnu.org/cgit/make.git/tree/ .
Heh. I think make is a pretty modestly-sized program. I guess it's all what you're used to :). > I can only ask you to add that feature if you see any benefit in it? If you'd like to propose an enhancement the best way to do it is here: https://savannah.gnu.org/bugs/?group=make&func=additem Cheers!
