diff options
Diffstat (limited to 'bin/jenkins_node_definitions.sh')
| -rwxr-xr-x | bin/jenkins_node_definitions.sh | 2 |
1 files changed, 2 insertions, 0 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 } |