1 files changed, 18 insertions, 0 deletions
diff --git a/tools/ci/jobs/validate.sh b/tools/ci/jobs/validate.sh
new file mode 100755
index 0000000..5c1c7ab
--- /dev/null
+++ b/tools/ci/jobs/validate.sh
@@ -0,0 +1,18 @@
+#!/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
+clone_tool
+clone_servercode
+cd evol-hercules
+
+make validate
+check_error $?