bug#9106: 24.0.50; ./configure causes massive recompilation

[Eli Zaretskii]

> Date: Thu, 21 Jul 2011 15:00:50 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: 9106@debbugs.gnu.org, bug-gnulib@gnu.org, 
>  Eli Zaretskii <eliz@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.