> Date: Wed, 20 Jul 2011 10:23:32 -0700 > From: Paul Eggert <[email protected]> > CC: Ralf Wildenhues <[email protected]>, [email protected], > [email protected] > > 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.)
