> Date: Thu, 21 Jul 2011 15:00:50 -0700 > From: Paul Eggert <[email protected]> > CC: [email protected], [email protected], > Eli Zaretskii <[email protected]> > > [...] 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.
