Redirect when using curl

[factor.git] / build.sh

diff --git a/build.sh b/build.sh
index 66cf8f2dc50c58854ebe77daeaebb0de824625a9..fba998ee4ec15461e29ab0e2dd618b762b664273 100755 (executable)
--- 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