[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12802: 23.4; feature wish: file-attributes in microsecond precision
From: |
Stefan Monnier |
Subject: |
bug#12802: 23.4; feature wish: file-attributes in microsecond precision |
Date: |
Sun, 04 Nov 2012 22:40:52 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.2.50 (gnu/linux) |
> please make file access/modification/status change times available in
> microsecond precision on those systems that support that.
Your wish has been granted.
> Motivation: I am maintaining an extension of Proof General that
> compiles Coq source files to Coq object files on the fly when
> needed. For that I have to compare file modification times in a
> way similar to make.
AFAIK `make' does not require such fine-precision. Basically if the
time-stamp on the generated file is equal to the source, then it's
considered as new enough (IOW in the absence of a proof that the
generated file is older, it is assumed to be newer).
Stefan