Wolfgang Rupprecht <wolfgang@wsrcc.com> writes:

> I can't immediately see why make isn't building this file if it
> needs it.

Actually, the bit of the log you included showed it being built, but
placed in the wrong directory; over in ...dist/gcc/.  Makefile error?

-tih
-- 
Popularity is the hallmark of mediocrity.  --Niles Crane, "Frasier"