From 02cc193086cf5e46de533abc4b9354230e2832de Mon Sep 17 00:00:00 2001
From: Baptiste Augrain <daiyam@zokugun.org>
Date: Fri, 1 Oct 2021 19:21:07 +0200
Subject: [PATCH] fix: check of armhf's rpm is corrected (#860)

---
 check_tags.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check_tags.sh b/check_tags.sh
index baec5c7..cac0225 100755
--- a/check_tags.sh
+++ b/check_tags.sh
@@ -187,7 +187,7 @@ if [ "${VSCODIUM_ASSETS}" != "null" ]; then
         export SHOULD_BUILD_DEB="no"
       fi
 
-      if [[ -z $( contains "armhf.rpm" ) ]]; then
+      if [[ -z $( contains "armv7hl.rpm" ) ]]; then
         echo "Building on Linux arm because we have no RPM"
         export SHOULD_BUILD="yes"
       else