blob: 2fa95fffb87159e82a7ac56374a19f63158acd58 (
plain) (
tree)
|
|
#!/bin/bash
source ./.tools/init.sh
clientdata_init
aptget_update
aptget_install git-core gcc ca-certificates libxml2-utils make
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"
echo "Diff:"
echo ${RES}
exit 1
fi
|