[darcs-devel] [patch2133] use hires timestamps for the index

[Ben Franksen]

New submission from Ben Franksen <ben.franksen at online.de>:

6 patches for repository http://darcs.net/screened:

patch 973faa6b3113dbcd87fbff6a43d4814a965d61a2
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Oct 25 07:36:26 CET 2020
  * make --ignore-times a standard option supported by all commands
  
  This also fixes all places where we still passed the UseIndex constructor
  directly without considering the option value.

patch eab7eae5a7a842e554e5386dac76fb72d1c254a4
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Oct 25 07:07:15 CET 2020
  * remove extraneous setting of --ignore-times in test scripts

patch ac7be667db0b77b564dfa6f7497f2293909711d7
Author: Ben Franksen <ben.franksen at online.de>
Date:   Mon Oct 26 18:46:45 CET 2020
  * Darcs.Util.Index: fix a few minor errors in comments

patch 7bc51cb780c043862c891bac5a589892b259d911
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Oct 28 00:45:49 CET 2020
  * index: use high resolution timestamps
  
  This requires building against a patched unix-compat, since the pull request
  is still pending. Tests scripts where sleep calls were inserted or
  --ignore-times was explicitly passed in order to work around low timestamp
  resolutions have been adapted accordingly. In the network tests I have kept
  the explicit --ignore-times when executing the remote darcs, because this
  may be a version of darcs different from the one under test.

patch 2b95e7816fbccef614782b90ca27f195387d9a7c
Author: Ben Franksen <ben.franksen at online.de>
Date:   Wed Oct 28 10:52:30 CET 2020
  * harness: add flag to test with or without the index

patch b0ec10c78ac19423c896352ed7fac14b59f60229
Author: Ben Franksen <ben.franksen at online.de>
Date:   Fri Oct 30 15:12:33 CET 2020
  * enable use of the index in the test suite by default
  
  This also adapts test scripts that assumed the former default in order to
  test the right thing. We now pass --ignore-times (or its opposite)
  explicitly instead.

----------
files: make-__ignore_times-a-standard-option-supported-by-all-commands.dpatch, patch-preview.txt, unnamed
messages: 22576
nosy: bf
status: needs-screening
title: use hires timestamps for the index

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2133>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 24557 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20201220/0a3c2f24/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: make-__ignore_times-a-standard-option-supported-by-all-commands.dpatch
Type: application/x-darcs-patch
Size: 27455 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20201220/0a3c2f24/attachment-0003.bin>
-------------- next part --------------
.