Makefile change to restart bootstraps

[Mark Mitchell]

>>>>> "Richard" == Richard Kenner <kenner@vlsi1.ultra.nyu.edu> writes:

    Richard> What I'm confused about is when you'd want to do that
    Richard> short of a hardware failure or similar.  Normally when a
    Richard> bootstrap fails, you back up, fix the problem and restart
    Richard> from the beginning.  That seems the normal operating
    Richard> mode, so having the other one seemed strange to me and
    Richard> still does.

I agree.  I don't think restarting bootstraps is likely to work very
often.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com