summaryrefslogtreecommitdiff
path: root/tools/ci/scripts/retry.sh
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-01-04 04:05:51 +0300
committerAndrei Karas <akaras@inbox.ru>2017-01-04 04:05:51 +0300
commit76ad2d74012c408788473c3b495076c96666b27c (patch)
tree001b7fdca2f2a04ac0ce37de33efd2cbaa29692a /tools/ci/scripts/retry.sh
parent4242505e3d1f5e44fd402c4266b83fe9429369e0 (diff)
downloadmv-76ad2d74012c408788473c3b495076c96666b27c.tar.gz
mv-76ad2d74012c408788473c3b495076c96666b27c.tar.bz2
mv-76ad2d74012c408788473c3b495076c96666b27c.tar.xz
mv-76ad2d74012c408788473c3b495076c96666b27c.zip
Add pages generation with doxygen docs and git stats.
Pages can be accesed at http://stats.manaplus.org/
Diffstat (limited to 'tools/ci/scripts/retry.sh')
-rwxr-xr-xtools/ci/scripts/retry.sh15
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/ci/scripts/retry.sh b/tools/ci/scripts/retry.sh
new file mode 100755
index 000000000..b54c3b074
--- /dev/null
+++ b/tools/ci/scripts/retry.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+n=0
+
+while true; do
+ $*
+ if [ "$?" == 0 ]; then
+ exit 0
+ fi
+ if [[ $n -ge 5 ]]; then
+ exit -1
+ fi
+ sleep 5s
+ n=$((n+1))
+done