diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-07 13:44:38 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-07 16:18:53 +0000 |
commit | 26e97d328b4c4e8d7b8a30120ac2a8dd51295c91 (patch) | |
tree | e6f3255ddab698d2a94e8f160e8ac30ec88b4777 | |
parent | 146a5fd470b72ea0a034c1da808d78e08b203351 (diff) |
test suite: gnupg: Have three goes, rather than two
The retry strategy is, empirically, fairly successful. But the
failure probability is still high enough to be a real nuisance. Let's
try running it a 3rd time if the second fails. Maybe this will reduce
the overall impact.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | tests/tstunt/gpg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/tstunt/gpg b/tests/tstunt/gpg index a108267..892b9c8 100755 --- a/tests/tstunt/gpg +++ b/tests/tstunt/gpg @@ -1,7 +1,7 @@ #!/bin/sh set -e -for attempt in '' exec; do +for attempt in '' ' ' exec; do set +e $attempt \ |