From deb324dee1edae1ee7b4939ea29b0b6e6f5d91b4 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Fri, 29 Nov 2019 12:46:53 +0700
Subject: [PATCH] Redirect when using curl

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.34.1