Eddy,
thanks again. yes, one should re-read manuals. and, remember what one
reads!
> I confess I don't see how a sub-make would really help there. I
> generally do my git changes separately from invoking make - and, even
> then, incremental builds sometimes require (at least) a purge of
>
Greg Minshall (30 March 2022 01:27) replied:
> thanks very much for the reply. and, for the hints (on better use of
> make functions).
You're welcome. I do recommend reading the make info pages for the
details more often than most developers seem to - most of the tools I've
seen that claimed to
