diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-04-27 17:19:46 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-04-29 11:41:06 +0000 |
commit | 1c7d863d4ac2633f0b37c6ce8b4c69e2b59b74b8 (patch) | |
tree | 5690b7eedc0b7bf428ad68bcebcf1b5ac0d3264a /jenkins-helpers.sh | |
parent | d9dae9777271919239e9c1db91e37d10b81f4d35 (diff) |
tcwg-benchmark.sh: Remove unused @hw_type@ substitution from $results_id
Change-Id: I6530286516fc131980e4379399ca0fff00883f8f
Diffstat (limited to 'jenkins-helpers.sh')
-rw-r--r-- | jenkins-helpers.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 813a97f4..97295651 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -142,23 +142,6 @@ print_type_for_label () ) } -# $1: Jenkins tcwg node -# Prints out hardware type, which is second to last field -print_hw_id_for_node () -{ - ( - set -euf -o pipefail - - local hw_id - hw_id=$(echo "$1" | sed -e "s/^tcwg.*-\([^-]\+\)-[0-9]\+/\1/") - if [ x"$hw_id" = x"$1" ]; then - echo "ERROR: Bad node name: $1" >&2 - exit 1 - fi - echo "$hw_id" - ) -} - # $1: Jenkins $NODE_NAME # Prints SSH host print_host_for_node () |