From a3d04a4586b806fe76372da7716b911bb9a7742c Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Mon, 2 May 2016 19:29:38 +0300
Subject: Remove code validation script from ci.

Now it useless.
---
 tools/ci/jobs/validate.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 tools/ci/jobs/validate.sh

(limited to 'tools')

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 $?
-- 
cgit v1.2.3-60-g2f50