[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #60595] make doesn't always restart when a makefile is rebuilt
|
From: |
Paul D. Smith |
|
Subject: |
[bug #60595] make doesn't always restart when a makefile is rebuilt |
|
Date: |
Mon, 31 May 2021 08:49:49 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.77 Safari/537.36 |
Follow-up Comment #3, bug #60595 (project make):
I agree that this is a bug: the behavior should match the manual.
Just to note that in the next version of GNU make the order of rebuilding
included makefiles will be reversed so that it happens in the "expected" way
(first file is checked first). There was an issue with portability that
necessitated it. The NEWS file for the next release says:
* WARNING: Backward-incompatibility!
Previously the order in which makefiles were remade was not explicitly
stated, but it was (roughly) the inverse of the order in which they were
processed by make. In this release, the order in which makefiles are
rebuilt is the same order in which make processed them, and this is defined
to be true in the GNU make manual.
Seems like we should address this bug in that release as well to avoid
problems.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?60595>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/