Joey Hess <jo...@debian.org> writes: > Russ Allbery wrote: >> I really think this is a bug in make. > > Probably, but who knows. It could just be a misfeature on which ghod > knows what somehow depends. > > .PHONY: precompiled-binary-we-cannot-regenerate-with-gcc.o
It feels like the next step is to ask make upstream whether they think this is a bug that can be fixed. If so, great, and we can move forward with that approach. If not, we can pursue the alternatives. But it seems like it would be worthwhile to ask. Given that you can achieve the same goal in a much more straightforward and traditional manner (I think) with: precompiled-binary-we-cannot-regenerate-with-gcc.o: it feels like an unintentional side effect of an internal implementation to me. -- Russ Allbery (r...@debian.org) <http://www.eyrie.org/~eagle/> -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org