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

Thanks.  I didn't even notice that, with the filename buried in all
that output.  I just copied the files into the right place.  If this
is some strange bootstrapping problem, perhaps this will do the trick.

-wolfgang
-- 
Wolfgang Rupprecht    <wolfgang@wsrcc.com>     http://www.wsrcc.com/wolfgang/
DGPS signals via the Internet  http://www.wsrcc.com/wolfgang/gps/dgps-ip.html