Re: Make gnulib-tool --update less verbose

2006-09-27 Thread Paolo Bonzini
Here is the same stuff updated for the current version of gnulib-tool, there were quite a lot of changes since I made the patch! Paolo Index: gnulib-tool === RCS file: /cvsroot/gnulib/gnulib/gnulib-tool,v retrieving revision 1.174 d

Make gnulib-tool --update less verbose

2006-09-27 Thread Paolo Bonzini
While upgrading sed to use gnulib (at last), I started from the bison bootstrap script and gradually worked from there. In particular, I removed the quadraticness from the loop that Ralf fixed in gnulib-tool very recently and, after noticing the duplication, I set to use "gnulib-tool --update" wi