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

From: Pip Cet <[email-masked]>
Date: Mon, 20 Jan 2025 14:22:37 +0000

Pip Cet <[email-masked]> writes:

> "Andreas Schwab" <[email-masked]> writes:
>
>> On Jan 18 2025, Pip Cet via "Bug reports for GNU Emacs, the Swiss army knife of text editors" wrote:
>>
>>> If config.status exists, it is rerun, and regenerates the Makefile; but
>>> if it doesn't, configure is run but config.status isn't.
>
>> Configure always runs config.status after it created it, unless it is
>> called with --no-create.
>
> Thanks, I was confused there.
>
> How about:
>
> modified   Makefile.in
>  # Don't erase these files if make is interrupted while refreshing them.
>  .PRECIOUS: Makefile config.status
>  
> +$(SUBDIR_MAKEFILES_IN) $(CONFIG_STATUS_FILES_IN):

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.

Pip