diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-11-09 08:46:26 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-11-09 08:46:26 +0100 |
commit | 6e3f93938ba20b3177988f8c0b9c224a9aa876a6 (patch) | |
tree | 0e0259c34bc04d5916ac26d9d6b556d22fa62492 /bin/common-functions.sh | |
parent | 4d3f5807cc2505d791c72ad88aef42abdfd4bebb (diff) | |
download | jenkins.debian.net-6e3f93938ba20b3177988f8c0b9c224a9aa876a6.tar.xz |
add new armhf node, Odroid-XU4, thanks to vagrant
Diffstat (limited to 'bin/common-functions.sh')
-rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 830316e3..660fe061 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -57,14 +57,14 @@ else if [ -z "$MIRROR" ]; then case $HOSTNAME in jenkins|profitbricks-build?-amd64) export MIRROR=http://ftp.de.debian.org/debian ;; - bpi0|cbxi4pro0|hb0|wbq0) export MIRROR=http://ftp.us.debian.org/debian ;; + bpi0|cbxi4pro0|hb0|wbq0|odxu4) export MIRROR=http://ftp.us.debian.org/debian ;; *) echo "unsupported host, exiting." ; exit 1 ;; esac fi if [ -z "$http_proxy" ]; then case $HOSTNAME in jenkins|profitbricks-build?-amd64) export http_proxy="http://localhost:3128" ;; - bpi0|cbxi4pro0|hb0|wbq0) export http_proxy="http://10.0.0.15:8000/" ;; + bpi0|cbxi4pro0|hb0|wbq0|odxu4) export http_proxy="http://10.0.0.15:8000/" ;; *) echo "unsupported host, exiting." ; exit 1 ;; esac fi |