diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/validate.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/jobs/validate.sh b/tools/ci/jobs/validate.sh index 5c1c7ab..da56baf 100755 --- a/tools/ci/jobs/validate.sh +++ b/tools/ci/jobs/validate.sh @@ -10,6 +10,8 @@ aptget_install git-core ca-certificates \ make python do_init +rm -rf tools +rm -rf server-code clone_tool clone_servercode cd evol-hercules |