diff options
| -rw-r--r-- | .gitlab-ci.yml | 7 | ||||
| -rwxr-xr-x | tools/ci/jobs/validate.sh | 20 |
2 files changed, 0 insertions, 27 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index dad14cb..082683e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,6 +1,5 @@ stages: - build - - test - success - failure @@ -29,12 +28,6 @@ clang-3.9: # tests -plugin-validator: - stage: test - script: - - ./tools/ci/jobs/validate.sh - image: debian:unstable - # reports success: 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 $? |