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

[Eli Zaretskii]

> Date: Wed, 20 Jul 2011 10:23:32 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>, 9106@debbugs.gnu.org, 
>  bug-gnulib@gnu.org
> 
> On 07/20/11 01:48, Eli Zaretskii wrote:
> >> You need a separate stamp file to avoid this.
> > Or use move-if-change with config.status.
> 
> That might be better, but it'd need a separate timestamp file, no?

Probably, sigh.  (I hate Makefile's that run configure for me.)