blob: 6544ac9d33eb28e2d685e47ce3501b64a0b63e3a (
plain) (
tree)
|
|
#!/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
|