Ralf Wildenhues <ralf.wildenh...@gmx.de> writes: > 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.
Do you have a pointer to the old discussion? I think it would be useful to have a maintained tool like that, even if it is not the official gnulib-tool. Of course, any build failures needs to be double-checked against gnulib-tool to understand if the problem is in the optimized gnulib-tool or in some module. /Simon
