summaryrefslogtreecommitdiff
path: root/tools/ci/scripts
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2016-05-01 19:42:44 +0300
committerAndrei Karas <akaras@inbox.ru>2016-05-01 19:42:44 +0300
commit01539587194321e513c30d35c1960acd58866c73 (patch)
tree602bc00cf7e8de0ab2a6a80b6132b129fa7e67fd /tools/ci/scripts
parent6b1f40c659dacf8b2bda8f8f96d39fe78e428887 (diff)
downloadplus-01539587194321e513c30d35c1960acd58866c73.tar.gz
plus-01539587194321e513c30d35c1960acd58866c73.tar.bz2
plus-01539587194321e513c30d35c1960acd58866c73.tar.xz
plus-01539587194321e513c30d35c1960acd58866c73.zip
In ci scripts add also protection against git clone failures.
Diffstat (limited to 'tools/ci/scripts')
-rwxr-xr-xtools/ci/scripts/init.sh29
1 files changed, 29 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 64e11f3b0..7f48bb0aa 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -67,6 +67,35 @@ function aptget_install {
fi
}
+function gitclone {
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 1s
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 3s
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 5s
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 10s
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 15s
+ git clone $*
+ if [ "$?" != 0 ]; then
+ sleep 20s
+ git clone $*
+ fi
+ fi
+ fi
+ fi
+ fi
+ fi
+ check_error $?
+}
+
function check_error {
if [ "$1" != 0 ]; then
cat $ERRFILE