From 7beebeaa15cb10238340120e52ae9f0cfd947315 Mon Sep 17 00:00:00 2001
From: Scott Fryer <60462088+steelhead31@users.noreply.github.com>
Date: Wed, 2 Aug 2023 16:45:19 +0100
Subject: [PATCH] Update Jenkinsfile

---
 linux/Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/linux/Jenkinsfile b/linux/Jenkinsfile
index ac1c7f611..0b6077101 100644
--- a/linux/Jenkinsfile
+++ b/linux/Jenkinsfile
@@ -193,6 +193,9 @@ def jenkinsStepDeb() {
 // function handle both Alpine, RedHat and Suse as DISTRO
 def jenkinsStepNonDeb(String DISTRO) {
     echo "Installer Job for Temurin jdk ${VERSION} - ${ARCH} - ${DISTRO}"
+    if ("${ARCH}" == 'armv7l') {
+        ARCH = 'armv7hl'
+    }
     setup("${DISTRO}", "${ARCH}")
     unstash 'installercode'
     buildAndTest("${DISTRO}", "${ARCH}")