From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 28 Dec 2018 18:32:32 +0000 (+0100)
Subject: should hopefully build this time
X-Git-Tag: drupal-4.7-17~1
X-Git-Url: http://git.onelab.eu/?p=drupal.git;a=commitdiff_plain;h=6448e7be1872227ec377ad1d45d3af29c5fa49e6

should hopefully build this time
---

diff --git a/Makefile b/Makefile
index 654dd34..eca05f1 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-WEBFETCH := curl -H Pragma: -O -R -S --fail --show-error
+WEBFETCH := curl -H Pragma: -R -S --fail --show-error
 SHA1SUM	 := sha1sum
 
 version=4.7.11
@@ -28,7 +28,7 @@ define download_target
 $(1): $($(1))
 .PHONY: $(1)
 $($(1)):
-	@if [ ! -e "$($(1))" ] ; then echo "$(WEBFETCH) $($(1)-URL1)" ; $(WEBFETCH) $($(1)-URL1) -o $($(1));  fi
+	@if [ ! -e "$($(1))" ] ; then $(WEBFETCH) $($(1)-URL1) -o $($(1));  fi
 	@if [ ! -e "$($(1))" ] ; then echo "Could not download source file: $($(1)) does not exist" ; exit 1 ; fi
 	@if test "$$$$($(SHA1SUM) $($(1)) | awk '{print $$$$1}')" != "$($(1)-SHA1SUM)" ; then \
 	    echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \