> Date: Thu, 21 Jul 2011 15:00:50 -0700 > From: Paul Eggert <egg...@cs.ucla.edu> > CC: 9...@debbugs.gnu.org, bug-gnulib@gnu.org, > Eli Zaretskii <e...@gnu.org> > > [...] if the benefit is large enough relative to the cost (something > that's not clear to me).
People complain about bzr operations that take 15 seconds where git takes 3, so I'm sure recovering 3 minutes of needless compilation will be quite a win, at a cost of a couple of additional recipes in the top-level Makefile.in.
