diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-14 05:21:28 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-14 05:21:28 -0500 |
commit | 6b10ce5f61bf53bbd1cc2fc5a6c56e5f3324f221 (patch) | |
tree | 821c9e3c3cc0960a5d1be0ddfad0cc5dcc52505f /contrib | |
parent | ea970ad8f995bb58303a1a594a39e1cc9bfc8d79 (diff) |
attempt to fix win32 builds
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/win32-build | 6 |
1 files changed, 3 insertions, 3 deletions
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 |