From 71f060e868cc51be9c0c78056076fa6ea27a56a3 Mon Sep 17 00:00:00 2001
From: Philip Hands <philh@debian.org>
Date: Mon, 6 May 2002 10:36:49 +0000
Subject: [PATCH] make the make mirrorcheck optional, to save time when
 testing. thus:   SKIPMIRRORCHECK=yes ./build_all.sh

---
 build_all.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/build_all.sh b/build_all.sh
index 463cfcd8..93e3dd16 100755
--- a/build_all.sh
+++ b/build_all.sh
@@ -14,7 +14,12 @@ do
 	make distclean
 	make ${CODENAME}_status
 	echo " ... checking your mirror"
-	make mirrorcheck
+	if [ "$SKIPMIRRORCHECK" != "yes" ] ; then 
+		make mirrorcheck
+	else
+		echo "WARNING: skipping mirrorcheck"
+	fi
+
 	if [ $? -gt 0 ]; then
 		echo "ERROR: Your mirror has a problem, please correct it." >&2
 		exit 1