From bc10f694b229a2d070456993ee6c531cf918bfe2 Mon Sep 17 00:00:00 2001
From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Mon, 2 Jul 2007 16:48:40 +0000
Subject: [PATCH] - prefer df over mirrors by default

Changed files:
    builder.sh -> 1.508
---
 builder.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/builder.sh b/builder.sh
index 7de08fc..45a8832 100644
--- a/builder.sh
+++ b/builder.sh
@@ -42,6 +42,7 @@ NOCVS=""
 NOCVSSPEC=""
 NODIST=""
 NOINIT=""
+PREFMIRRORS=""
 UPDATE=""
 ADD5=""
 NO5=""
@@ -943,9 +944,9 @@ get_files()
 					fi
 					target="$fp"
 
-					# prefer mirror over distfiles if there's mirror
+					# optionally prefer mirror over distfiles if there's mirror
 					# TODO: build url list and then try each url from the list
-					if [ -z "$NOMIRRORS" ] && im=$(find_mirror "$i") && [ "$im" != "$i" ]; then
+					if [ -n "$PREFMIRRORS" ] && [ -z "$NOMIRRORS" ] && im=$(find_mirror "$i") && [ "$im" != "$i" ]; then
 						url="$im"
 					else
 						url=$(distfiles_url "$i")
@@ -1918,6 +1919,9 @@ while [ $# -gt 0 ]; do
 			NOSRCS="yes"
 			ALWAYS_CVSUP="no"
 			shift;;
+		-pm | --prefer-mirrors )
+			PREFMIRRORS="yes"
+			shift;;
 		--no-init )
 			NOINIT="yes"
 			shift;;
-- 
2.44.0