From e59ace2db5f1d5d11acab81400aced8ffc567eec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Danilo=20=C5=A0egan?= <danilo.segan@linaro.org>
Date: Thu, 29 Nov 2012 12:42:56 +0100
Subject: Set http_proxy conditionally if it works and can access
 android.git.linaro.org.

---
 build-scripts/helpers | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'build-scripts/helpers')

diff --git a/build-scripts/helpers b/build-scripts/helpers
index ac0c251..be86bc0 100644
--- a/build-scripts/helpers
+++ b/build-scripts/helpers
@@ -181,3 +181,15 @@ 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