diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-10-10 21:58:09 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-10-10 22:03:33 +0300 |
commit | 7c10a6b61e9d06a4ae9cc9f942dfacb6fcfd9d3d (patch) | |
tree | 32787f5e1f7661c3562c20bfc5cfdc06c0e3f5ac /tools | |
parent | ac4d991a1d69ff8258d02e5e71d04c4bc91f1e33 (diff) | |
download | mv-7c10a6b61e9d06a4ae9cc9f942dfacb6fcfd9d3d.tar.gz mv-7c10a6b61e9d06a4ae9cc9f942dfacb6fcfd9d3d.tar.bz2 mv-7c10a6b61e9d06a4ae9cc9f942dfacb6fcfd9d3d.tar.xz mv-7c10a6b61e9d06a4ae9cc9f942dfacb6fcfd9d3d.zip |
Add ci script for clone manaplus sources.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/scripts/clonesrc.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/ci/scripts/clonesrc.sh b/tools/ci/scripts/clonesrc.sh new file mode 100755 index 000000000..bf25e0ed4 --- /dev/null +++ b/tools/ci/scripts/clonesrc.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +rm -rf manaplus || true +./tools/ci/scripts/retry.sh "git clone --branch master --depth 1 https://gitlab.com/manaplus/manaplus.git manaplus" || exit 1 +mkdir manaplus/logs || exit 1 |