From d1a2104aa7d069ed2108cc8da11cbeb0c053268e Mon Sep 17 00:00:00 2001
From: Hari Sekhon <harisekhon@gmail.com>
Date: Tue, 2 Jun 2020 17:58:50 +0100
Subject: [PATCH] updated ci_bootstrap.sh

---
 setup/ci_bootstrap.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/setup/ci_bootstrap.sh b/setup/ci_bootstrap.sh
index cbd4dd90..139d021e 100755
--- a/setup/ci_bootstrap.sh
+++ b/setup/ci_bootstrap.sh
@@ -21,6 +21,7 @@ set -eu
 [ -n "${DEBUG:-}" ] && set -x
 srcdir="$(dirname "$0")"
 
+max_tries=10
 interval=60 # secs
 
 retry(){
@@ -33,8 +34,9 @@ retry(){
         echo "$*"
         "$@" &&
         break;
-        if [ $count -ge 10 ]; then
-            echo "$count tries failing, giving up"
+        if [ $count -ge $max_tries ]; then
+            echo
+            echo "$count tries failed, aborting..."
             exit 1
         fi
         echo "sleeping for $interval secs before retrying"