From 11204b374c2ac37a63a00d3bf3c0550325ae8808 Mon Sep 17 00:00:00 2001
From: Denis Rumyantsev <mr.denis.rumyantsev@gmail.com>
Date: Wed, 16 Aug 2023 13:06:08 +0200
Subject: [PATCH] fix detect rhel release (#4393)

---
 src/dev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev.sh b/src/dev.sh
index b8301060c3..7344a9eab0 100755
--- a/src/dev.sh
+++ b/src/dev.sh
@@ -65,7 +65,7 @@ function detect_platform_and_runtime_id ()
 
         if [ -e /etc/redhat-release ]; then
             local redhatRelease=$(</etc/redhat-release)
-            if [[ $redhatRelease == "CentOS release 7."* || $redhatRelease == "Red Hat Enterprise Linux Server release 7."* ]]; then
+            if [[ $redhatRelease == *"release 7."* ]]; then
                 DETECTED_RUNTIME_ID='rhel.7.2-x64'
             else
                 echo "RHEL supported only for version 7"