diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-01-05 17:55:20 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-01-05 17:55:20 +0300 |
| commit | 27135019948b433838c90ecc1d5a15069cc4059d (patch) | |
| tree | 0a84566d3b8db2b0c7f9969919b1e84024836567 /tools/ci | |
| parent | b3116df2584228efb80c8a464ba4cbd6a57cfbd0 (diff) | |
| download | mv-27135019948b433838c90ecc1d5a15069cc4059d.tar.gz mv-27135019948b433838c90ecc1d5a15069cc4059d.tar.bz2 mv-27135019948b433838c90ecc1d5a15069cc4059d.tar.xz mv-27135019948b433838c90ecc1d5a15069cc4059d.zip | |
Change retry script to 10 tryes.
Diffstat (limited to 'tools/ci')
| -rwxr-xr-x | tools/ci/scripts/retry.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/scripts/retry.sh b/tools/ci/scripts/retry.sh index b54c3b074..aaa50e983 100755 --- a/tools/ci/scripts/retry.sh +++ b/tools/ci/scripts/retry.sh @@ -7,7 +7,7 @@ while true; do if [ "$?" == 0 ]; then exit 0 fi - if [[ $n -ge 5 ]]; then + if [[ $n -ge 10 ]]; then exit -1 fi sleep 5s |