[RFC/RFA] --with-build-time-tools configure option

[Paolo Bonzini]

 > For target tools it's a bit more consistent

I don't understand if this means we can afford getting all the tools 
from $prefix/bin by default, as in this patch.  This patch also 
implements Daniel's suggestion of using --print-prog-name if build != host.

Ok for mainline?  Ok for 4.1 after a while, possibly together with the 
doc changes (note that the documentation has never been really correct 
with respect to this issues)?

Paolo
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: toplevel-target-tools.patch
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20060109/c2dde69a/attachment.ksh>