diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-16 01:54:27 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-16 01:54:27 -0500 |
commit | 328a4523a5a2f6e0fcb6bbaef938bc48cce9060c (patch) | |
tree | 163ef1082fde5a3ced10a4372edf44a4ec1b6759 /contrib | |
parent | 6b10ce5f61bf53bbd1cc2fc5a6c56e5f3324f221 (diff) |
webget: curl follow redirect
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/win32-build | 2 |
1 files changed, 1 insertions, 1 deletions
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 |