diff options
-rwxr-xr-x | bin/jenkins_node_definitions.sh | 2 | ||||
-rwxr-xr-x | deploy_jdn | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/bin/jenkins_node_definitions.sh b/bin/jenkins_node_definitions.sh index f83b1e1f..e02d05e1 100755 --- a/bin/jenkins_node_definitions.sh +++ b/bin/jenkins_node_definitions.sh @@ -122,6 +122,7 @@ get_node_ssh_port() { ;; profitbricks-build*) PORT=22 + ;; codethink-sled9*) PORT=10109 ;; @@ -149,6 +150,7 @@ get_node_ssh_port() { *) echo >&2 "Unknown node $NODE_NAME." exit 1 + ;; esac } @@ -153,8 +153,9 @@ BG="" get_arch_color() { case $1 in - *i386*) BG=lightblue ;; *amd64*) BG=lightgreen ;; + *i386*) BG=lightblue ;; + *arm64*) BG=orange ;; *armhf*) BG=lightyellow ;; *jenkins.debian.*) BG=yellow ;; *) BG=white ;; |