Paul Smith wrote: > On Wed, 2023-01-18 at 14:45 +0100, Frank Heckenbach wrote: > > % cat Makefile > > .PHONY: a > > a: b; : > > % touch b; touch a; make --debug=w > > Makefile:2: update target 'a' due to: b > > : > > > > Of course, make should remake a, but not due to b but because it's > > phony. > > Please provide info about what version of GNU make you're using.
This was 4.4. I now see it's fixed in the latest RC, so forget about it. ;)