[Top][All Lists]

[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


Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]