From 54c9c5edbc0b134faa3ddd37dd2bfdfc9a3fec41 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Mon, 13 Jun 2016 18:15:49 +0300 Subject: In ci scripts remove directories before cloning here. --- tools/ci/scripts/init.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tools') diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index d641cdf..677a3af 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -150,10 +150,12 @@ function run_mplint { } function clone_tool { + rm -rf tools gitclone https://gitlab.com/evol/evol-tools.git tools } function clone_servercode { + rm -rf server-code gitclone https://gitlab.com/evol/hercules.git server-code } -- cgit v1.2.3-60-g2f50