replace 'curl' with 'wget', which apparently deals with oddball 302 redirects more...
authorMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 23 Mar 2009 13:20:16 +0000 (13:20 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 23 Mar 2009 13:20:16 +0000 (13:20 +0000)
commit577c8b1a6490d5a17f650410073cd4400f8b22e0
tree0e1c436bef3a0e469e18537523083627e16df270
parent1c03c8e5c5c71e246fd1f451d2b2c1426bb91135
replace 'curl' with 'wget', which apparently deals with oddball 302 redirects more cleanly
Makefile