diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-17 13:06:37 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-17 13:06:37 +0100 |
commit | 42312958454c0fcc700586781084510f7da0dbcd (patch) | |
tree | db98c263a285200bcfcdeee7ed00545eceedb9c6 /coq/coq-abbrev.el | |
parent | 94e8ce4389c1d9926a629d30075dae64bee84779 (diff) |
fix parallel compilation for the unlikely case of identical time stamps
Since version 24.3 Emacs supports pico second precision in time
stamps and Emacs on ext4 seems to have a time precision of 5
milliseconds for file time stamps. It is therefor quite unlikely
that a source and an object file have the same time stamp. This
patch fixes parallel compilation for these corner cases and adds
a few hundred test cases to test all combinations where some
files have identical time stamps. On Emacs older than 24.3 or on
file systems with a low precision (eg. ext3) this patch can cause
additional compilations.
Diffstat (limited to 'coq/coq-abbrev.el')
0 files changed, 0 insertions, 0 deletions