1 files changed, 0 insertions, 20 deletions
diff --git a/tools/ci/jobs/validate.sh b/tools/ci/jobs/validate.sh
deleted file mode 100755
index da56baf..0000000
--- a/tools/ci/jobs/validate.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/bash
-
-export CC=gcc-5
-export CXX=g++-5
-export LOGFILE=gcc5.log
-
-source ./tools/ci/scripts/init.sh
-
-aptget_install git-core ca-certificates \
-    make python
-
-do_init
-rm -rf tools
-rm -rf server-code
-clone_tool
-clone_servercode
-cd evol-hercules
-
-make validate
-check_error $?