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.
