From 5f2d890137a8f634332533a6a7eb1700b7696650 Mon Sep 17 00:00:00 2001 From: Jesusaves Date: Sat, 7 Nov 2020 21:21:14 -0300 Subject: Remove the Contributors CI test --- .tools/contributors.sh | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100755 .tools/contributors.sh (limited to '.tools') 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 -- cgit v1.2.3-60-g2f50