>>>>> "Joseph" == Joseph S Myers <jos...@codesourcery.com> writes:
Joseph> dependencies. For the latter, I looked again at Tom's reverted patch Joseph> from March 2008 to use automatic dependency generation. Although Joseph> there is now a fixed GNU make release (since last July), and although Joseph> I'd like to see automatic dependency generation go in (I hope Paolo Joseph> may follow up on it as per Joseph> <http://gcc.gnu.org/ml/gcc-patches/2008-03/msg01721.html>), actually Joseph> getting it working looks like a potential rathole and I couldn't Joseph> figure out from the 2008 thread what the makefile feature was that Joseph> caused problems with a GNU make bug and whether it would be possible Joseph> to disable use of that feature (instead having stupid dependencies of Joseph> all objects on all headers) when using older versions of make (which Joseph> would I think be desirable, to avoid forcing everyone to upgrade make Joseph> immediately). I believe the bugs referenced here were the problem: http://gcc.gnu.org/ml/gcc-patches/2008-03/msg01680.html Both these bugs use .INTERMEDIATE in their test cases, but it isn't clear to me that this is a sufficient condition. My understanding is that the bug has been fixed in GNU make 3.82. As you point out, this has been out nearly a year; I think upgrading is not an extreme hardship. If you wanted to experiment with Makefile workarounds, I think the simplest way would be to check out the revision before the patch was reverted. Trying to apply the patch to current trunk is indeed a rathole. Tom