> Date: Wed, 20 Jul 2011 10:23:32 -0700 > From: Paul Eggert <egg...@cs.ucla.edu> > CC: Ralf Wildenhues <ralf.wildenh...@gmx.de>, 9...@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.)
