]> gitweb.factorcode.org Git - factor.git/commitdiff
build.sh: Another fix for DOWNLOADER variable to prefer ipv4
authorDoug Coleman <doug.coleman@gmail.com>
Fri, 16 Dec 2022 22:05:36 +0000 (16:05 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Fri, 16 Dec 2022 22:05:36 +0000 (16:05 -0600)
build.sh

index 1f03523e4e1ec12843fa7ba48f45918e1df66625..b45a57c8f3c508f52250c80f86cfb4fb8104e6bb 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -94,7 +94,7 @@ check_ret() {
 set_downloader() {
     test_program_installed wget
     if [[ $? -ne 0 ]] ; then
-        DOWNLOADER="wget -nd"
+        DOWNLOADER="wget -nd --prefer-family=IPv4"
         DOWNLOADER_NAME=wget
         return
     fi