Re: Inclusion of .PHONY file

2025-07-05 Thread Mike Crowe via Bug reports and discussion for GNU make
Hi Dmitry, Thanks for the quick reply. On Friday 04 July 2025 at 20:38:25 -0400, Dmitry Goncharov wrote: > You should not mark included makefiles as phony. i don't think marking > included files as phony was ever intended. But it did work for a long time. :-) > On Fri, Jul 4, 2025 at 12:46 PM M

Re: Inclusion of .PHONY file

2025-07-04 Thread Dmitry Goncharov
On Fri, Jul 4, 2025 at 12:46 PM Mike Crowe via Bug reports and discussion for GNU make wrote: > Strangely there's no complaint that .real-file doesn't actually exist. That's intended. Make is silent here to allow dependency files to be generated. > It looks like this change is probably a result

Inclusion of .PHONY file

2025-07-04 Thread Mike Crowe via Bug reports and discussion for GNU make
If I create a Makefile: --8<-- .PHONY: all all: : late .PHONY: /dev/null .early-generation /dev/null: .early-generation include /dev/null .early-generation: : early -->8-- when run on GNU Make 4.3[1] the output is: : early : late whereas when run on GNU Make 4.4.1 the output