replace 'curl' with 'wget', which apparently deals with oddball 302 redirects more...

diff --git a/Makefile b/Makefile
index 78fccbd..191bd11 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 # $Id$
-CURL   := curl -H Pragma: -O -R -S --fail --show-error
+#WEBFETCH      := curl -H Pragma: -O -R -S --fail --show-error
+WEBFETCH       := wget
 SHA1SUM        = sha1sum
 
 # default - overridden by the build
@@ -13,7 +14,7 @@ main.FILE     := $(notdir $(main.URL))
 SOURCEFILES := $(main.FILE)
 
 $(main.FILE): #FORCE
-       @if [ ! -e "$@" ] ; then echo "$(CURL) $(main.URL)" ; $(CURL) $(main.URL) ; fi
+       @if [ ! -e "$@" ] ; then echo "$(WEBFETCH) $(main.URL)" ; $(WEBFETCH) $(main.URL) ; fi
        @if [ ! -e "$@" ] ; then echo "Could not download source file: $@ does not exist" ; exit 1 ; fi
        @if test "$$(sha1sum $@ | awk '{print $$1}')" != "$(main.SHA1SUM)" ; then \
            echo "sha1sum of the downloaded $@ does not match the one from 'sources' file" ; \