summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/mplint.sh
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/jobs/mplint.sh
parent6b1f40c659dacf8b2bda8f8f96d39fe78e428887 (diff)
downloadManaVerse-01539587194321e513c30d35c1960acd58866c73.tar.gz
ManaVerse-01539587194321e513c30d35c1960acd58866c73.tar.bz2
ManaVerse-01539587194321e513c30d35c1960acd58866c73.tar.xz
ManaVerse-01539587194321e513c30d35c1960acd58866c73.zip
In ci scripts add also protection against git clone failures.
Diffstat (limited to 'tools/ci/jobs/mplint.sh')
-rwxr-xr-xtools/ci/jobs/mplint.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh
index da824c985..c6ca9543d 100755
--- a/tools/ci/jobs/mplint.sh
+++ b/tools/ci/jobs/mplint.sh
@@ -13,7 +13,7 @@ export CXXFLAGS="-std=gnu++11"
do_init
-git clone https://gitlab.com/manaplus/mplint.git
+gitclone https://gitlab.com/manaplus/mplint.git
cd mplint
run_configure_simple
run_make