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

2021-09-05 Thread Paul D. Smith
Update of bug #60595 (project make): Status:None => Fixed Assigned to:None => psmith Open/Closed:Open => Closed Fixed Release:

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

2021-06-03 Thread André Chalella
Follow-up Comment #7, bug #60595 (project make): I agree that the following scenario should throw an error, if that's what you meant: - a makefile _should_ have been read in AND - such makefile _could not_ be read in (e.g. does not exist) AND - make has finished rebuilding all makefiles AND -

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

2021-06-01 Thread Paul D. Smith
Follow-up Comment #6, bug #60595 (project make): I understand that today, make won't throw an error. I'm saying that _after_ we fix this issue so that make recognizes that a file needed to be rebuilt, then make could throw an error. Put another way, in my mind the fact that an included file

[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

[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

[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).

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

2021-05-23 Thread André Chalella
Follow-up Comment #2, bug #60595 (project make): I have attached an example Makefile (with comments) that illustrates my use case. It models a project where 'program1' uses 'module1' which in turn uses 'module2'. Dependency resolution is managed through .d files, which in the real system are

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

2021-05-20 Thread Dmitry Goncharov
Follow-up Comment #1, bug #60595 (project make): Can you please attach a makefile which reproduces the issue? ___ Reply to this item at: ___ Сообщение

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

2021-05-13 Thread André Chalella
URL: Summary: make doesn't always restart when a makefile is rebuilt Project: make Submitted by: andrechalella Submitted on: Thu 13 May 2021 07:32:32 AM UTC Severity: 3 - Normal