Re: [PATCH 0/4] faster gnulib-tool

[Paolo Bonzini]

> Nice info thanks.
> I tested stuff like this previously, and found it highly shell dependent:
> http://www.pixelbeat.org/programming/shell_script_mistakes.html#performance

Here are my tests:

http://www.mail-archive.com/address@hidden/msg17892.html

> In summary I noticed that dash forked twice as fast as bash,

That's probably just less malloced memory.  See at the end of the above
message.

Paolo