From: Rudi Grinberg <me@rgrinberg.com>
Date: Fri, 29 Nov 2019 05:46:53 +0000 (+0700)
Subject: Redirect when using curl
X-Git-Tag: 0.99~3643
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=deb324dee1edae1ee7b4939ea29b0b6e6f5d91b4

Redirect when using curl

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---

diff --git a/build.sh b/build.sh
index 66cf8f2dc5..fba998ee4e 100755
--- a/build.sh
+++ b/build.sh
@@ -98,7 +98,7 @@ set_downloader() {
     fi
     test_program_installed curl
     if [[ $? -ne 0 ]] ; then
-        DOWNLOADER="curl -f -O"
+        DOWNLOADER="curl -L -f -O"
         DOWNLOADER_NAME=curl
         return
     fi