Re: [PATCH 0/5] speed up gnulib-tool some more

Hi Ralf, > > Regarding part 1, I would like to put in a command-line option --no-cache > > that preserves the old, slow but simpler code. It is good practice, for > > every nontrivial optimization, to have a way to disable the optimization. > > This helps in two situations: > > - When a bug crop

Re: [PATCH 0/5] speed up gnulib-tool some more

Hello Bruno, * Bruno Haible wrote on Mon, Jan 18, 2010 at 01:41:57AM CET: > In particular, patch 1 and 2 each removed many blank lines from the output. > One needs to verify whether this is harmless. I did verify that for a number of test cases (one module, several modules, all modules, for diffe

Re: [PATCH 0/5] speed up gnulib-tool some more

Hello Ralf, Ralf Wildenhues wrote: > This patch series is a repost and update of the unapplied parts of > > plus a couple of new patches; prompted by > . I'm glad that

[PATCH 0/5] speed up gnulib-tool some more

This patch series is a repost and update of the unapplied parts of plus a couple of new patches; prompted by . The first two patches, taken together, have a net effect o