diff options
| author | Charles Baylis <charles.baylis@linaro.org> | 2017-06-14 10:57:45 +0100 |
|---|---|---|
| committer | Charles Baylis <charles.baylis@linaro.org> | 2017-06-14 10:57:45 +0100 |
| commit | 67b567b1e3c0b186929ef4409f0205e06896ffa2 (patch) | |
| tree | 0ad208a02a176947263751ae0d66ad69160d9d08 /jenkins-helpers.sh | |
| parent | 6df60e145f2db339efd752f4143457b307cd4614 (diff) | |
Remove unused nodename2hostname.sh.
The remaining users of nodename2hostname.sh have been removed in
https://review.linaro.org/#/q/project:ci/job/configs+branch:master+topic:use-more-jenkins-helpers
so the script can now be removed to avoid the maintenance
duplication. The FIXME comment has been moved to
print_host_for_node(), because it applies equally there.
Change-Id: Ia3c6bb50069e9f785e3df8354ce36716d9d4654f
Diffstat (limited to 'jenkins-helpers.sh')
| -rw-r--r-- | jenkins-helpers.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 9f7870d6..3e2a7531 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -67,6 +67,8 @@ print_type_for_label () # $1: Jenkins $NODE_NAME # Prints DNS hostname +# FIXME: try to get rid of this function, it's going to be a maintenance +# nightmare :-) print_host_for_node () { ( |