diff options
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 3f8250a98cb0..522a4e22bc72 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 |