diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-12-19 02:19:21 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-12-19 02:19:21 +0100 |
commit | 432ee85e56fe9cb92f01c80eb889c0952e3baee7 (patch) | |
tree | 47e5b1da77fa6f7d17d561129720b1160b9049aa | |
parent | df295dba19d18e3c88e67c2ed60f9f78bce7249d (diff) | |
download | jenkins.debian.net-432ee85e56fe9cb92f01c80eb889c0952e3baee7.tar.xz |
add support for deploying only on certain archs
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | deploy_everywhere | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index 1bbd6a0f..f25c3289 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -65,6 +65,8 @@ wbd0-armhf-rb.debian.net wbq0-armhf-rb.debian.net root@jenkins.debian.net" +ALL_HOSTS=$HOSTS + echo echo -n "$(date) - " # real command, for running manually: cd ~jenkins-adm/jenkins.debian.net/ ; sudo -u jenkins-adm git pull ; ./update_jdn.sh @@ -123,6 +125,7 @@ elif [ "$1" = "" ] || [ "$1" = "jenkins" ] ; then 10|pb10) HOSTS="$HOSTS profitbricks-build10-amd64.debian.net" ;; 11|pb11) HOSTS="$HOSTS profitbricks-build11-amd64.debian.net" ;; 15|pb15) HOSTS="$HOSTS profitbricks-build15-amd64.debian.net" ;; + armhf|amd64|i386) HOSTS="$HOSTS $(echo $ALL_HOSTS | sed 's# #\n#g' | grep $i)" ;; *) ;; esac done |