Re: [Bug-gnulib] Re: CVS Bug? or User error?

[Alexandre Duret-Lutz]

>>> "Paul" == Paul Eggert <address@hidden> writes:

 Paul> Derek Robert Price <address@hidden> writes:
 >> My feeling is that `make distcheck' should Do the Right Thing (tm)
 >> from any workspace, barring user error in file content.

 Paul> Agreed, and that's why I proposed that `make distcheck' should ensure
 Paul> that targets are always at least one second newer than their sources.
 Paul> (Not that I'm volunteering to implement it.  :-)

No idea how to do that.  I think it would be possible to fix in
the aclocal/autoconf/autoheader/automake/yacc/lex/texinfo rules
directly by adding a sleep before the command.  Preferably a
conditional sleep: it is not needed if the source is old enough
(how to check this?).  However that sounds clumsy.
-- 
Alexandre Duret-Lutz