diff options
| author | Danilo Šegan <danilo.segan@linaro.org> | 2012-12-06 16:02:32 +0100 |
|---|---|---|
| committer | Danilo Šegan <danilo.segan@linaro.org> | 2012-12-06 16:02:32 +0100 |
| commit | 8c90068699669046bf17af20ba97c86b63935969 (patch) | |
| tree | 2c6f38f4f5aaecf917419735093ee562ca5b14b3 /build-scripts | |
| parent | 2416a4e81a80a171394717a92659b45d57085947 (diff) | |
Remove http_proxy support since it seems to cause problems.
Diffstat (limited to 'build-scripts')
| -rw-r--r-- | build-scripts/build-android | 1 | ||||
| -rw-r--r-- | build-scripts/helpers | 12 |
2 files changed, 0 insertions, 13 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 81578b0..98553bb 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -18,7 +18,6 @@ if [ -n "$BUILD_COPYCAT" ]; then else - set_proxy_if_accessible if [ -n "$REPO_SEED_URL" ]; then repo-sync-from-seed "${1}" else 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 -} |