From fcf93c95ac059ee50698ec9507f34fea01b0b5f4 Mon Sep 17 00:00:00 2001
From: Alexander Sulfrian <alexander@sulfrian.net>
Date: Wed, 14 Nov 2012 02:28:54 +0100
Subject: renew-config: check if clients.xml has changed in real repo

---
 renew-config | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'renew-config')

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
-- 
cgit v1.2.3-1-g7c22