[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12802: 23.4; feature wish: file-attributes in microsecond precision
From: |
Eli Zaretskii |
Subject: |
bug#12802: 23.4; feature wish: file-attributes in microsecond precision |
Date: |
Mon, 05 Nov 2012 18:02:02 +0200 |
> From: Stefan Monnier <monnier@IRO.UMontreal.CA>
> Date: Sun, 04 Nov 2012 22:40:52 -0500
> Cc: 12802@debbugs.gnu.org
>
> > 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.
GNU Make supports nanosecond time resolution when the underlying
library provides that.