Re: Speeding up the bootstrap build - a quick hack.

[Robert Pluim]

>>>>> On Thu, 20 Jan 2022 11:35:17 +0000, Alan Mackenzie <acm@muc.de> said:

    Alan> Thank you indeed.  That's exactly what I needed.  I've amended my 
patch to use
    Alan> this.

    Alan> So, if there are no objections, I'll be committing the following to
    Alan> master within the next day or so:

I think it could be improved further to avoid having two sub-make
invocations (and remove the need for ANCIENT), but that would be a
bigger and finicky change, so I say go ahead with this for now.

Robert

--