On 10/17/2010 09:27 AM, Joel E. Denny wrote: > Hi, > > 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. For example, bootstrap could note that it doesn't equal gnulib's bootstrap, and go ahead and use the the gnulib bootstrap, all automatically.
