...
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 26 Sep 2008 13:40:57 +0000 (13:40 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 26 Sep 2008 13:40:57 +0000 (13:40 +0000)
Makefile

index 27f3142..24edbed 100644 (file)
--- 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 $@ ; \