From 7e1a34e8b3024a8d607a6158d8459cd2108a93ac Mon Sep 17 00:00:00 2001
From: Mohamed Larabi <mohamed.larabi@inria.fr>
Date: Fri, 7 Feb 2014 01:09:17 +0100
Subject: [PATCH] oups

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0dc601d..2fee1c7 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ $(1): $($(1))
 .PHONY: $(1)
 $($(1)): 
 	@if [ ! -e "$($(1))" ] ; then \
-	{ echo Using primary; echo "$(WEBFETCH) $($(1)-URL)" ; $(WEBFETCH) $($(1)-URL1) ; } ; fi
+	{ echo Using primary; echo "$(WEBFETCH) $($(1)-URL)" ; $(WEBFETCH) $($(1)-URL) ; } ; 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