From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#12802: 23.4; feature wish: file-attributes in microsecond precision Date: Mon, 05 Nov 2012 18:02:02 +0200 Message-ID: <83625k3uo5.fsf@gnu.org> References: <87hap51082.fsf@wallace.tews.net> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1352131398 29273 80.91.229.3 (5 Nov 2012 16:03:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 5 Nov 2012 16:03:18 +0000 (UTC) Cc: hendrik@askra.de, 12802@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Nov 05 17:03:27 2012 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TVP95-00035g-E8 for geb-bug-gnu-emacs@m.gmane.org; Mon, 05 Nov 2012 17:03:27 +0100 Original-Received: from localhost ([::1]:44945 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TVP8w-00022l-Cm for geb-bug-gnu-emacs@m.gmane.org; Mon, 05 Nov 2012 11:03:18 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:36732) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TVP8k-00021U-JI for bug-gnu-emacs@gnu.org; Mon, 05 Nov 2012 11:03:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TVP8b-00083k-4K for bug-gnu-emacs@gnu.org; Mon, 05 Nov 2012 11:03:06 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:40491) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TVP8b-00083f-0e for bug-gnu-emacs@gnu.org; Mon, 05 Nov 2012 11:02:57 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1TVPBa-0005bN-FE for bug-gnu-emacs@gnu.org; Mon, 05 Nov 2012 11:06:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 05 Nov 2012 16:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 12802 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 12802-submit@debbugs.gnu.org id=B12802.135213153021493 (code B ref 12802); Mon, 05 Nov 2012 16:06:02 +0000 Original-Received: (at 12802) by debbugs.gnu.org; 5 Nov 2012 16:05:30 +0000 Original-Received: from localhost ([127.0.0.1]:50742 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TVPB3-0005ab-OU for submit@debbugs.gnu.org; Mon, 05 Nov 2012 11:05:30 -0500 Original-Received: from mtaout22.012.net.il ([80.179.55.172]:34887) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TVPB0-0005aQ-Oo for 12802@debbugs.gnu.org; Mon, 05 Nov 2012 11:05:28 -0500 Original-Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0MD000000V3GID00@a-mtaout22.012.net.il> for 12802@debbugs.gnu.org; Mon, 05 Nov 2012 18:02:07 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0MD000N40V7J17A0@a-mtaout22.012.net.il>; Mon, 05 Nov 2012 18:02:07 +0200 (IST) In-reply-to: X-012-Sender: halo1@inter.net.il X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:66483 Archived-At: > From: Stefan Monnier > 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.