diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-02-08 13:17:03 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-02-08 15:29:51 +0000 |
commit | 99300555a21d0ef961d60042730afe5b79d3311a (patch) | |
tree | 18720c0c13dd2ada5a673c662be615890b978bfc | |
parent | 0b35f53a43aa7c712f350eecd503877502f3e0fc (diff) |
jenkins-helpers.sh: Workaround DNS issue
We don't have DNS alias entries tcwg-x86_64-build-09.tcwglab and
tcwg-x86_64-build-10.tcwglab -- for build-09.tcwglab and build-10.tcwglab
machines.
Change-Id: Ib32956b92098ac610be6f178c5d24c23ffa994f0
-rw-r--r-- | jenkins-helpers.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 487d9cff..d6b1e9ae 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -152,6 +152,11 @@ print_host_for_node () # configured ssh local host="$1.tcwglab" + # Map tcwg-x86_64-build-* and tcwg-x86_64-dev-* to build-* and dev-* + case "$host" in + tcwg-x86_64-*) host=${host#tcwg-x86_64-} ;; + esac + if ! host "$host" >& /dev/null; then # No DNS entry, try to see if it is handled by our ssh config if ! ssh "$1" true >& /dev/null; then |