summaryrefslogtreecommitdiffstats
path: root/renew-config
diff options
context:
space:
mode:
Diffstat (limited to 'renew-config')
-rwxr-xr-xrenew-config5
1 files changed, 5 insertions, 0 deletions
diff --git a/renew-config b/renew-config
index a7e8314..937025e 100755
--- a/renew-config
+++ b/renew-config
@@ -12,6 +12,11 @@ fi
git fetch origin 2>/dev/null
git push origin master 2>/dev/null
+if ! diff -q "$REPO/Metadata/clients.xml" "$REAL/Metadata/clients.xml" >/dev/null; then
+ error "$REPO: Metadata/clients.xml out of date.
+You probably should update it with $REAL/Metadata/clients.xml"
+fi
+
if [ -n "$(git rev-list HEAD..origin/master)" ]; then
error "$REPO: HEAD does not equal to origin/master."
fi