diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/runtests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/scripts/runtests.sh b/tools/ci/scripts/runtests.sh index 77eea18ef..252faa208 100755 --- a/tools/ci/scripts/runtests.sh +++ b/tools/ci/scripts/runtests.sh @@ -17,7 +17,7 @@ while true; do if [ "$?" != 0 ]; then exit 1 fi - if [[ $n -ge 5 ]]; then + if [[ $n -ge 1 ]]; then break fi sleep 5s @@ -32,7 +32,7 @@ while true; do if [ "$?" != 0 ]; then exit 1 fi - if [[ $n -ge 5 ]]; then + if [[ $n -ge 1 ]]; then exit 0 fi sleep 5s |