From 0eb551dcdb2fad5dd455d5937519b768ddb61fd4 Mon Sep 17 00:00:00 2001
From: Julie Schwartz <quark@bluespec.com>
Date: Thu, 17 Aug 2023 12:26:51 +1200
Subject: [PATCH] Bump the warning for unsupport GHC 9 minor version to greater
 than 9.6

---
 src/comp/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/comp/Makefile b/src/comp/Makefile
index 29d22de47..d437c4085 100644
--- a/src/comp/Makefile
+++ b/src/comp/Makefile
@@ -81,8 +81,8 @@ GHCPATCH=$(shell echo $(GHCVERSION) | cut -d. -f3)
 ifeq ($(GHCMAJOR),9)
 
 # Warn about newer versions that are not yet supported
-GHCMINORGT2 := $(shell expr $(GHCMINOR) \> 2)
-ifeq ($(GHCMINORGT2),1)
+GHCMINORGT6 := $(shell expr $(GHCMINOR) \> 6)
+ifeq ($(GHCMINORGT6),1)
 $(warning Unsupported GHC 9 minor version: $(GHCMINOR))
 endif