Re: [heads-up] disabling "../configure --disable-bootstrap && make bootstrap"

[Richard Kenner]

> Would you feel OK if there were a make target to do a bootstrap
> without building the other target libraries?  

Yes.  That would only be a small increase in time (libiberty).