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

[Robert Pluim]

>>>>> On Fri, 21 Jan 2022 02:18:32 -0800, Stephen Leake 
>>>>> <stephen_leake@stephe-leake.org> said:

    Stephen> Alan Mackenzie <acm@muc.de> writes:
    >> This was surprisingly difficult to solve.  There appears to be no way in
    >> make to set a variable depending on what the target is.

    Stephen> target :: VARIABLE := "value"
    Stephen> targ
    Stephen> Sets VARIABLE to value only while executing target.

    Stephen> I could not find the section in the make manual that says this, 
but it
    Stephen> must be there somewhere - that's how I learned it :(.

(info "(make) Target-specific")

Or from the top-level of the Make info file: 'Using variables' ->
'Target specific'.

Robert
--