From 6448e7be1872227ec377ad1d45d3af29c5fa49e6 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 28 Dec 2018 19:32:32 +0100
Subject: [PATCH] should hopefully build this time

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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'" ; \
-- 
2.43.0