Subject: bug#75655: configure doesn't update Makefile

From: Andreas Schwab <[email-masked]>
Date: Mon, 20 Jan 2025 23:14:48 +0100

On Jan 20 2025, Pip Cet wrote:

> "Andreas Schwab" <[email-masked]> writes:
>
>> On Jan 20 2025, Pip Cet wrote:
>>
>>> I believe that needs an additional order-only prerequisite
>>> (config.status) to work properly in parallel make: calling config.status
>>> twice in parallel seems like a very bad idea.  And, of course, a comment
>>> explaining it.
>>
>> The right way to solve this is to tell config.status to only update the
>> current target.
>
> Do you mean "./config.status --recheck", or "MAKE='$(MAKE)'
> ./config.status"?

$ ./config.status --help
[...]
      --file=FILE[:TEMPLATE]
                   instantiate the configuration file FILE
      --header=FILE[:TEMPLATE]
                   instantiate the configuration header FILE
[...]

-- 
Andreas Schwab, [email-masked]
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."