Re: [PATCH] up_to_date_p: treat equal mtime as outdated.

bug-autoconf

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] up_to_date_p: treat equal mtime as outdated.

From:	Paul Eggert
Subject:	Re: [PATCH] up_to_date_p: treat equal mtime as outdated.
Date:	Sat, 11 Apr 2020 13:07:01 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1

On 4/11/20 12:28 PM, Harald van Dijk wrote:

The up_to_date_p function uses mtime, which returns timestamps with
second precision. Even if it were capable of returning higher precision
timestamps, the file system might not support it.

These days file systems typically do support it, so can't we usehigher-resolution file timestamps when they're available?

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] up_to_date_p: treat equal mtime as outdated., Harald van Dijk, 2020/04/11
- Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Paul Eggert <=
  - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Harald van Dijk, 2020/04/11
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Karl Berry, 2020/04/13
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Harald van Dijk, 2020/04/13
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Paul Eggert, 2020/04/13
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Harald van Dijk, 2020/04/14
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Dima Pasechnik, 2020/04/14
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Nick Bowler, 2020/04/14
    - Re: [PATCH] up_to_date_p: treat equal mtime as outdated., Karl Berry, 2020/04/20

Prev by Date: [PATCH] up_to_date_p: treat equal mtime as outdated.
Next by Date: Re: [PATCH] up_to_date_p: treat equal mtime as outdated.
Previous by thread: [PATCH] up_to_date_p: treat equal mtime as outdated.
Next by thread: Re: [PATCH] up_to_date_p: treat equal mtime as outdated.
Index(es):
- Date
- Thread