Steven Bosscher wrote: > ... you can use --disable-bootstrap and do a regular make, or is there > some reason why you can't do that?
I wasn't aware of the option. Guess I'll do that, then. I thought the point was that that option is temporary and will go away. Did I misunderstand?