Eric Botcazou wrote:
Then I'm confused: I thought the whole point of --disable-bootstrap is
to keep the old mechanism instead of getting the new one.


Not quite. You can do an old-style build and an old-style bootstrap from the *toplevel* directory with --disable-bootstrap by issuing "make" and "make bootstrap" respectively, that's all (and sufficient as far as I'm concerned).

Not quite. For now, you can do an old-style build and an old-style bootstrap from any directory with --disable-bootstrap, with the commands you mentioned.

In the future, you will still be able to do an old-style build with "--disable-bootstrap" (nobody ever wanted to prevent that). But you will not be able to do an old-style bootstrap because the relevant Makefile rules will be removed.

Paolo

Reply via email to