[debbugs-tracker] bug#12802: closed (23.4; feature wish: file-attributes in microsecond precision)

[GNU bug Tracking System]

Your message dated Sun, 04 Nov 2012 21:59:58 -0500
with message-id <address@hidden>
and subject line Re: bug#12802: 23.4; feature wish: file-attributes in 
microsecond precision
has caused the debbugs.gnu.org bug report #12802,
regarding 23.4; feature wish: file-attributes in microsecond precision
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
12802: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=12802
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 23.4; feature wish: file-attributes in microsecond precision
>
>
>
>
> Date: 
>
> Sun, 04 Nov 2012 23:18:05 +0100
>
>
>
>
> Hi,
>
> please make file access/modification/status change times
> available in microsecond precision on those systems that support
> that. 
>
> 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. I would really like to do this with a
> precision better than 1 second.
>
> Thanks in advance,
>
> Hendrik Tews
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#12802: 23.4;	feature wish: file-attributes in microsecond precision
>
>
>
>
> Date: 
>
> Sun, 04 Nov 2012 21:59:58 -0500
>
>
>
>
> User-agent: 
>
> Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
>
>
>
>
> Version: 24.3
>
> Hendrik Tews wrote:
>
> > please make file access/modification/status change times
> > available in microsecond precision on those systems that support
> > that. 
>
> I believe this is already (more than) implemented and should appear in
> 24.3. From the NEWS file:
>
>      *** `current-time' now returns extended-format time stamps (HIGH
>      LOW USEC PSEC), where the new PSEC slot specifies picoseconds. PSEC
>      is typically a multiple of 1000 on current machines. Other
>      functions that use this format, such as file-attributes and
>      format-time-string, have been changed accordingly.
>
>
> --- End Message ---