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