chiark / gitweb /
test suite: In ad-hoc runs, honour DGIT_TEST_RETRY_COUNT
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jan 2018 15:50:36 +0000 (15:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jan 2018 16:18:53 +0000 (16:18 +0000)
commit88c8440dc1ac4e6de35615ac18fdb3ec281e1d96
tree9eb521ef6e01d60d955e54ffd0561bebba35aa43
parent13a350a650fa9847bfbfadea40262e21c0864c39
test suite: In ad-hoc runs, honour DGIT_TEST_RETRY_COUNT

This lets us retry each failed test.

This is beneficial because the gnupg race is sort-of independent.
When we want to test every commit, the success probability before
is
  ( 1 - P(gnupg causes test fail))        ) ^ (number of tests)
for each commit.  With this change it's
  ( 1 - P(gnupg causes test fail)^retries ) ^ (number of tests)
which is much much better.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
tests/Makefile