diff options
| -rw-r--r-- | .gitlab-ci.yml | 6 | ||||
| -rwxr-xr-x | .tools/contributors.sh | 24 |
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 |