summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJesusaves <cpntb1@ymail.com>2021-02-14 16:11:51 -0300
committerJesusaves <cpntb1@ymail.com>2021-02-14 16:11:51 -0300
commitb05fb92d7344ce3ee30c658f6505b77bf10e5fc5 (patch)
tree37e54a14767470d256bd8a471df60657b43e2c16
parentfc9127b25f575380f42d9d5ff3c8b1c1f18f4c5e (diff)
downloadevol-hercules-b05fb92d7344ce3ee30c658f6505b77bf10e5fc5.tar.gz
evol-hercules-b05fb92d7344ce3ee30c658f6505b77bf10e5fc5.tar.bz2
evol-hercules-b05fb92d7344ce3ee30c658f6505b77bf10e5fc5.tar.xz
evol-hercules-b05fb92d7344ce3ee30c658f6505b77bf10e5fc5.zip
Use official mainstream repositories instead of Evol ones, to prevent false positives
-rwxr-xr-xtools/ci/scripts/init.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 73c7aba..76df8b7 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -178,12 +178,12 @@ function run_mplint {
function clone_tool {
rm -rf tools
- gitclone https://gitlab.com/evol evol-tools.git tools
+ gitclone https://gitlab.com/tmw2 evol-tools.git tools
}
function clone_servercode {
rm -rf server-code
- gitclone https://gitlab.com/evol hercules.git server-code
+ gitclone https://gitlab.com/tmw2 hercules.git server-code
}
function build_init {