From 5b8126d4d987931a2e2891e10620c838397914d6 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Fri, 3 Jun 2016 15:13:03 +0300 Subject: In contributors ci script remove tools directory before clone. Because some times runner can forgot remove some files. --- .tools/contributors.sh | 1 + 1 file changed, 1 insertion(+) (limited to '.tools') diff --git a/.tools/contributors.sh b/.tools/contributors.sh index 0a9f1a89..6544ac9d 100755 --- a/.tools/contributors.sh +++ b/.tools/contributors.sh @@ -6,6 +6,7 @@ clientdata_init aptget_update aptget_install git-core gcc ca-certificates libxml2-utils make xsltproc +rm -rf tools gitclone https://gitlab.com/evol/evol-tools.git tools cd tools/contrib_xsl -- cgit v1.2.3-60-g2f50