> 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). -- Eric Botcazou