Re: 'make' modification time warning (was: Re: human-time?)

[Bruno Haible]

Paul Eggert wrote:
> For this particular example, I don't think the "human_time" interface
> will help all that much.  Once the time is in the future, it doesn't
> matter much whether it's milliseconds or years, "make" is broken.

I disagree. This warning occurs, for example, when I create a tarball on
one computer and then transfer it to another computer and build it there.
If the time difference is "12 seconds" I know I can retry in 15 seconds.
If the time difference is "59 minutes" I know I should better change the
DST settings of one of the machines.

Bruno