diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-08 15:03:25 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-08-08 15:58:46 +0000 |
commit | 445697fd48a2e12d5d2c891ee2e863b6658a6eeb (patch) | |
tree | fbc5cf2446e8df194217a60f214db7132fd9d12d /jenkins-helpers.sh | |
parent | 6deec513842ada3fdd5e5a544e1535cd5a05abf4 (diff) |
jenkins-helpers.sh: Fix and improve uses of print_gnu_target
Change-Id: I80bbc452bf0c10d25220dffe5e03252d06d4c668
Diffstat (limited to 'jenkins-helpers.sh')
-rw-r--r-- | jenkins-helpers.sh | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 2b089799..56c33e8a 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -1060,14 +1060,23 @@ print_gnu_target () set -euf -o pipefail local target="$1" - if [ x"$target" = x"native" ]; then - target=$(uname -m) - fi case "$target" in "aarch64") target="aarch64-linux-gnu" ;; "arm_eabi") target="arm-eabi" ;; "arm"*) target="arm-linux-gnueabihf" ;; "x86_64") target="x86_64-linux-gnu" ;; + "native") + case "$(uname -m)" in + "aarch64") target="aarch64-unknown-linux-gnu" ;; + "armv7l") target="armv7l-unknown-linux-gnueabihf" ;; + "armv8l") target="armv8l-unknown-linux-gnueabihf" ;; + "x86_64") target="x86_64-pc-linux-gnu" ;; + *) + echo "ERROR: Unknown native target $(uname -m)" >&2 + exit 1 + ;; + esac + ;; *) echo "ERROR: Unknown target $target" >&2; exit 1 ;; esac echo "$target" |