bootstrap-lean is done by doing the following (which I feel is the
wrong way):
Configure with --enable-bootstrap=lean
and then do a "make bootstrap"
I agree with you. Why not just keep this as a make target? Why go back and
have to reconfigure?
And yes this causes to use different scripts for different versions of gcc.
I think that's a serious problem. I see no argument against upwards
compatibility here: it's all well and good to add new options to the toplevel,
but why remove ones from the gcc/ Makefile that have worked for decades and
people still use?
