What happend to bootstrap-lean? (was: What happened to bubblestrap?)

[Gerald Pfeifer]

On Fri, 16 Dec 2005, Paolo Bonzini wrote:
> Yes.  "make bubblestrap" is now called simply "make".

Okay, how is "make bootstrap-lean" called these days? ;-)

In fact, bootstrap-lean is still documented in install.texi and 
makefile.texi, but it no longer seems to be present in the Makefile
machinery.  Could we get this back?

> I guess we now know that GCC developers update their tree about every 
> 50-60 hours (most bug reports came in 25-30 hours after the switch).

Not necessarily.  I noticed bootstrap-lean being broken/lost quite 
quickly, but since I knew that major work was going on, and there were 
more critical problems, I waited to see whether it just would be fixed
or reappear after a few days. ;-)

Gerald