From 577c8b1a6490d5a17f650410073cd4400f8b22e0 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Mon, 23 Mar 2009 13:20:16 +0000
Subject: [PATCH] replace 'curl' with 'wget', which apparently deals with
 oddball 302 redirects more cleanly

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 78fccbd..191bd11 100644
--- 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" ; \
-- 
2.43.0