attempt to fix win32 builds

diff --git a/contrib/win32-build b/contrib/win32-build
index 972db17de94a18114a0a04fa3f821f532b3b6d11..45c9dfa54b15dbf0e268ea526039c1aa01cedd47 100755 (executable)
--- a/contrib/win32-build
+++ b/contrib/win32-build
@@ -39,10 +39,10 @@ function reporterror {
 }
 
 function webget {
-  if which wget &>/dev/null; then
-    wget -c -O "$2" "$1"
-  elif which curl &>/dev/null; then
+  if which curl &>/dev/null; then
     curl "$1" >"$2"
+  elif which wget &>/dev/null; then
+    wget -c -O "$2" "$1"
   else
     echo "Can't figure out how to download from web.  Please install wget or curl." >&2
     exit 1