diff options
author | Andras Timar <andras.timar@collabora.com> | 2019-02-22 15:35:44 +0100 |
---|---|---|
committer | Andras Timar <andras.timar@collabora.com> | 2019-07-09 09:58:51 +0200 |
commit | 4a88b778714759f43cafc12d878a42d70ed3ade2 (patch) | |
tree | eff98207f09f0f450f086aae10a35b827e088c4c /Makefile.fetch | |
parent | d5fd631813ccf405dba79fd9b2d5499a79b59b94 (diff) |
cURL: follow redirects
Change-Id: I58d25348f4b43145a19ca0edbc5cde2e9a57f468
Reviewed-on: https://gerrit.libreoffice.org/68213
Reviewed-by: Andras Timar <andras.timar@collabora.com>
Tested-by: Andras Timar <andras.timar@collabora.com>
Reviewed-on: https://gerrit.libreoffice.org/75239
Tested-by: Jenkins CollaboraOffice <jenkinscollaboraoffice@gmail.com>
Diffstat (limited to 'Makefile.fetch')
-rw-r--r-- | Makefile.fetch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.fetch b/Makefile.fetch index 12fb6abd9638..5cede33b7de8 100644 --- a/Makefile.fetch +++ b/Makefile.fetch @@ -16,7 +16,7 @@ endef else define fetch_Download__wget_command -&& echo fetching $2 && bash -c '$(CURL) -O $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]' +&& echo fetching $2 && bash -c '$(CURL) -L -O $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]' endef endif |