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

2021-06-02 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 - mak

[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-22 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 auto

[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