@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 $@)" ; \
@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 $@)" ; \