Re: [PATCH] bootstrap: add bootstrap_sync option.

[Joel E. Denny]

Hi Paul,

On Sun, 17 Oct 2010, Paul Eggert wrote:

> On 10/17/2010 09:27 AM, Joel E. Denny wrote:

> > Now that Bison's bootstrap is in sync with gnulib's, I'd like to make sure 
> > we keep it that way.  This patch will help.  Ok to push?
> 
> I dunno, this sounds like it would discourage outsiders
> from contributing to development.  Surely there's a better way
> that is not so off-putting.

We could just extend the error message to explain the intent.  It could 
also explain that --no-bootstrap-sync is useful for trying out bootstrap 
modifications.  For longer experiments, it could suggest setting 
bootstrap_sync=false in bootstrap.conf.  Would that make it better?

> For example, bootstrap could note
> that it doesn't equal gnulib's bootstrap, and go ahead and use
> the the gnulib bootstrap, all automatically.

We would likely overlook the note if it doesn't fail immediately 
afterward.