>>>>> "Joseph" == Joseph S Myers <jos...@codesourcery.com> writes:
Joseph> We have a reliable reproducer for the bug, at least in the form Joseph> in which it appeared with the old patch: Joseph> <http://gcc.gnu.org/ml/gcc-patches/2008-03/msg01663.html> - even Joseph> though it was never clear exactly what the make bug was (the one Joseph> referred to in that discussion appeared to rely on makefile Joseph> features that weren't used by the old GCC patch). I re-read the old thread and also the GNU make bugs. I think this comment is what led me to believe that we'd hit GNU make bug #15919: https://savannah.gnu.org/bugs/?func=detailitem&item_id=15919#comment6 gcc's Makefile uses both .INTERMEDIATE and order-only dependencies, so seems like a candidate to trigger the problem. However, it seems that there must be more involved, because the Makefile currently in svn uses these features. I'm doing some testing with make 3.81 right now. Tom
