From 3fdad273d22a6bd25365a27da2a97dc90f6cd91b Mon Sep 17 00:00:00 2001
From: Alan Griffiths <alan@octopull.co.uk>
Date: Thu, 20 Jul 2023 17:16:22 +0100
Subject: [PATCH] Simplify as suggested
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Michał Sawicz <michal.sawicz@canonical.com>
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 742f6f97478..39acc425c05 100755
--- a/debian/rules
+++ b/debian/rules
@@ -70,7 +70,7 @@ ifeq ($(USER) $(DEB_HOST_ARCH),buildd riscv64)
 endif
 
 # Disable pre-compiled headers on GCC-12 & 13
-ifneq ($(shell gcc --version | grep -e '12.[[:digit:]]\+.[[:digit:]]\+$$' -e '13.[[:digit:]]\+.[[:digit:]]\+$$'),)
+ifneq ($(shell gcc --version | grep '1[23].[[:digit:]]\+.[[:digit:]]\+$$'),)
   COMMON_CONFIGURE_OPTIONS += -DMIR_USE_PRECOMPILED_HEADERS=OFF
 endif