Re: make all vs make bootstrap

[Paolo Carlini]

Andrew Pinski wrote:

> Is this is deliberate change or just a mistake?

I'm pretty sure is deliberate and --disable-bootstrap is the config you
need.

Paolo.