bug-gnu-emacs
[Top][All Lists]
Advanced

[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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]