summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/runtests.sh4
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