From 6f1f973183381ba6930c75fec0f6a7a42ea1e722 Mon Sep 17 00:00:00 2001
From: thierry <thierry@8c455092-636d-4788-adf5-e71def0336e8>
Date: Tue, 9 Mar 2010 11:54:32 +0000
Subject: [PATCH] disable sha1sum checking as the NICTA version evolves

---
 Makefile | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0c3bbe0..b33f885 100644
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,22 @@ all: $(ALL)
 .PHONY: all
 
 ##############################
+#define download_target
+#$(1): $($(1))
+#.PHONY: $($(1))
+#$($(1)): 
+#	@if [ ! -e "$($(1))" ] ; then 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'" ; \
+#	    echo "Local copy: $$$$($(SHA1SUM) $($(1)))" ; \
+#	    echo "In Makefile: $($(1)-SHA1SUM)" ; \
+#	    false ; \
+#	else \
+#	    ls -l $($(1)) ; \
+#	fi
+#endef
+
 define download_target
 $(1): $($(1))
 .PHONY: $($(1))
@@ -39,7 +55,8 @@ $($(1)):
 	    echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \
 	    echo "Local copy: $$$$($(SHA1SUM) $($(1)))" ; \
 	    echo "In Makefile: $($(1)-SHA1SUM)" ; \
-	    false ; \
+	    echo "Proceeding anyway .. " ; \
+	    ls -l $($(1)) ; \
 	else \
 	    ls -l $($(1)) ; \
 	fi
-- 
2.43.0