From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 14 Feb 2015 10:21:28 +0000 (-0500)
Subject: attempt to fix win32 builds
X-Git-Tag: cvc5-1.0.0~6391
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b10ce5f61bf53bbd1cc2fc5a6c56e5f3324f221;p=cvc5.git

attempt to fix win32 builds
---

diff --git a/contrib/win32-build b/contrib/win32-build
index 972db17de..45c9dfa54 100755
--- 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