From 6838f893d0076b723945abc5781a31c308c14137 Mon Sep 17 00:00:00 2001 From: jesusalva Date: Thu, 8 Feb 2018 20:08:54 -0200 Subject: Update the CI to use our toolset --- .tools/scripts/init.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.tools') diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 6effb177d..44b63d944 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -164,7 +164,7 @@ function do_init_data { function do_init_tools { cd .. rm -rf tools - gitclone https://gitlab.com/evol evol-tools.git tools + gitclone https://gitlab.com/TMW2 evol-tools.git tools } function do_init { -- cgit v1.2.3-60-g2f50