diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/runtests.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/ci/scripts/runtests.sh b/tools/ci/scripts/runtests.sh index c0958d82f..75a7570ba 100755 --- a/tools/ci/scripts/runtests.sh +++ b/tools/ci/scripts/runtests.sh @@ -28,13 +28,15 @@ while true; do if [ "$?" != 0 ]; then exit 1 fi - if [[ $n -ge 1 ]]; then + if [[ $n -ge 3 ]]; then break fi sleep 5s n=$((n+1)) done +exit 0 + echo "existing config runs" n=0 while true; do |