Merge pull request #5686 from AndrzejKurek/off-by-one-ssl-opt

Fix an off-by-one error in ssl-opt.sh
This commit is contained in:
Gilles Peskine 2022-04-07 16:20:55 +02:00 committed by GitHub
commit 8e5e8d73db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1164,7 +1164,8 @@ run_test() {
analyze_test_commands "$@"
TIMES_LEFT=2
# One regular run and two retries
TIMES_LEFT=3
while [ $TIMES_LEFT -gt 0 ]; do
TIMES_LEFT=$(( $TIMES_LEFT - 1 ))