[bug #60595] make doesn't always restart when a makefile is rebuilt

[Paul D. Smith]

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/