diff options
| -rw-r--r-- | Makefile.fetch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.fetch b/Makefile.fetch index afb7d176e79e..ed019e800954 100644 --- a/Makefile.fetch +++ b/Makefile.fetch @@ -16,7 +16,7 @@ endef else define fetch_Download__wget_command -&& echo fetching $2 && bash -c '$(CURL) -L -O $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]' +&& echo fetching $2 && bash -c '$(CURL) -f -L -O $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]' endef endif |