diff options
author | Ulf Lamping <ulf.lamping@web.de> | 2006-09-11 22:37:46 +0000 |
---|---|---|
committer | Ulf Lamping <ulf.lamping@web.de> | 2006-09-11 22:37:46 +0000 |
commit | 32bc691d9795954728e5ab7b1cf006888f443dcc (patch) | |
tree | 816f9fc10c6b388abae7534eba280b1886d8e2d0 /tools | |
parent | a56edc8e346af4ba70a7f01f2e7a5d41a3e88570 (diff) |
a proxy might also be specified using .wgetrc, so don't switch off the proxy explicitly
svn path=/trunk/; revision=19194
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/win32-setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/win32-setup.sh b/tools/win32-setup.sh index 66d1302579..fffdc5eb2a 100755 --- a/tools/win32-setup.sh +++ b/tools/win32-setup.sh @@ -51,7 +51,8 @@ case "$1" in echo "****** $PACKAGE ******" if [ -z "$http_proxy" -a -z "$HTTP_PROXY" ] ; then echo "No HTTP proxy specified (http_proxy and HTTP_PROXY are empty)." - use_proxy="-Y off" + # a proxy might also be specified using .wgetrc, so don't switch off the proxy + #use_proxy="-Y off" else use_proxy="-Y on" if [ -z "$http_proxy" ] ; then |