summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitlab-ci.yml6
-rwxr-xr-x.tools/contributors.sh24
2 files changed, 0 insertions, 30 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cad8194a..df624bd7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,12 +14,6 @@ testxml:
- ./.tools/testxml.sh
- pwd
-contributors:
- stage: test
- script:
- - ./.tools/contributors.sh
- - pwd
-
pngcheck:
stage: test
script:
diff --git a/.tools/contributors.sh b/.tools/contributors.sh
deleted file mode 100755
index 487c3cb4..00000000
--- a/.tools/contributors.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-
-source ./.tools/init.sh
-
-clientdata_init
-
-aptget_update
-aptget_install git-core gcc ca-certificates libxml2-utils make xsltproc
-rm -rf tools
-gitclone https://gitlab.com/evol evol-tools.git tools
-
-cd tools/contrib_xsl
-
-make about-server
-check_error $?
-
-cd ../../clientdata
-
-export RES=$(git diff)
-if [[ -n "${RES}" ]]; then
- echo "Contributors list not updated"
- git diff
- exit 1
-fi