Hello, * Simon Josefsson wrote on Wed, Jan 13, 2010 at 10:49:19AM CET: > The build times are interesting: > > gnulib-tool: 324 minutes > ./configure: 36 minutes > make check: 34 minutes > > Now, gnulib-tool invokes run ./configure too, but that seems like just a > small fraction of the time it spends.
I would volunteer to dig out and forward-port my gnulib-tool optimization patches that cut its execution time in half, if there is a nonzero chance of them being accepted. Last time, Bruno rejected them as unmaintainable. (FWIW, I'd also volunteer to maintain that part of the code.) Cheers, Ralf
