From 0a52a136ee333cada033fd53c4a9f5ed1402372f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 26 Sep 2008 13:40:57 +0000
Subject: [PATCH] ...

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

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