From 8c90068699669046bf17af20ba97c86b63935969 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Danilo=20=C5=A0egan?= Date: Thu, 6 Dec 2012 16:02:32 +0100 Subject: Remove http_proxy support since it seems to cause problems. --- build-scripts/helpers | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'build-scripts/helpers') diff --git a/build-scripts/helpers b/build-scripts/helpers index be86bc0..ac0c251 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -181,15 +181,3 @@ product2lamc_dev () { echo -n "$1";; esac } - -# Check if a proxy is accessible using wget. -set_proxy_if_accessible() { - proxy_address=http://ci.linaro.org:3128/ - export http_proxy=$proxy_address - wget -q -O /dev/null --timeout=10 http://android.git.linaro.org/ || unset http_proxy - if [ -z "$http_proxy" ]; then - echo "WARNING: Proxy at $proxy_address doesn't work." - else - echo "INFO: http_proxy set to '$http_proxy'." - fi -} -- cgit v1.2.3