From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 16 Feb 2015 06:54:27 +0000 (-0500)
Subject: webget: curl follow redirect
X-Git-Tag: cvc5-1.0.0~6390
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=328a4523a5a2f6e0fcb6bbaef938bc48cce9060c;p=cvc5.git

webget: curl follow redirect
---

diff --git a/contrib/win32-build b/contrib/win32-build
index 45c9dfa54..290d537eb 100755
--- a/contrib/win32-build
+++ b/contrib/win32-build
@@ -40,7 +40,7 @@ function reporterror {
 
 function webget {
   if which curl &>/dev/null; then
-    curl "$1" >"$2"
+    curl -L "$1" >"$2"
   elif which wget &>/dev/null; then
     wget -c -O "$2" "$1"
   else