From d89151dc701a8ffba5654107b860a6d6ea05b7aa Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 4 Jan 2010 11:26:48 +0000
Subject: [PATCH] again

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

diff --git a/Makefile b/Makefile
index 65f156e..a98e256 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ $(main.FILE): #FORCE
 	@if test "$$(sha1sum $@ | awk '{print $$1}')" != "$(main.SHA1SUM)" ; then \
 	    echo "sha1sum of the downloaded $@ does not match the one from 'Makefile'" ; \
 	    echo "Local copy: $$(sha1sum $@)" ; \
-	    echo "In Makefile: $main.SHA1SUM" ; \
+	    echo "In Makefile: $(main.SHA1SUM)" ; \
 	    exit 1 ; \
 	else \
 	    ls -l $@ ; \
-- 
2.43.0