GNU bug report logs - #75655
configure doesn't update Makefile

Previous Next

Full log

View this message in rfc822 format

From: Pip Cet <pipcet <at> protonmail.com>
To: Andreas Schwab <schwab <at> linux-m68k.org>
Cc: 75655 <at> debbugs.gnu.org
Subject: bug#75655: configure doesn't update Makefile
Date: Mon, 20 Jan 2025 14:22:37 +0000

Pip Cet <pipcet <at> protonmail.com> writes:

> "Andreas Schwab" <schwab <at> linux-m68k.org> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.