- prefer mirror over distfiles if there's mirror set

Changed files:
    builder.sh -> 1.468

diff --git a/builder.sh b/builder.sh
index ea58a588619e5690d30f593b4f38bb992304084d..913f14b37af466727fa9e982994b15acad27f676 100644 (file)
--- a/builder.sh
+++ b/builder.sh
@@ -895,7 +895,15 @@ get_files()
                                                continue
                                        fi
                                        target="$fp"
-                                       url=$(distfiles_url "$i")
+
+                                       # 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
+                                               url="$im"
+                                       else
+                                               url=$(distfiles_url "$i")
+                                       fi
+
                                        url_attic=$(distfiles_attic_url "$i")
                                        FROM_DISTFILES=1
                                        # is $url local file?