webget: curl follow redirect

diff --git a/contrib/win32-build b/contrib/win32-build
index 45c9dfa54b15dbf0e268ea526039c1aa01cedd47..290d537ebdd3f494fce502469e4b215ec22c043a 100755 (executable)
--- 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