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

2021-05-31 Thread André Chalella
Follow-up Comment #5, bug #60595 (project make): Thank you for all the information and for considering the issue in such careful manner! > I assume in your real makefile you've accounted for this and something does build the target makefile (or maybe you include it with "-include"). No, when bui

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

2021-05-31 Thread Paul D. Smith
Follow-up Comment #4, bug #60595 (project make): Thanks for the description. Here's a much simpler repro case: all: ; @echo RESTARTS=$(MAKE_RESTARTS) m1.d: ; touch $@ m2.d: m1.d ; test -f $< || touch $@ include m2.d m1.d If you run this makefile with: rm -f m?.d && make it will correct

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

2021-05-31 Thread 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).