From f4416200f47aeed7a919a7414aac50ad1822d503 Mon Sep 17 00:00:00 2001
From: Razvan-Liviu Varzaru <razvan@mariadb.org>
Date: Tue, 21 Jan 2025 11:51:21 +0200
Subject: [PATCH] Don't build centos-7-bintar for > 11.4

A new bintar builder (non-EOL) will handle builds
for 11.7/11.8.

For now, it's important that GnuTLS is updated and
can build 11.4
---
 constants.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/constants.py b/constants.py
index fc9c165d..f875dc2d 100644
--- a/constants.py
+++ b/constants.py
@@ -190,7 +190,9 @@
     "ppc64le-debian-sid",
     "x86-debian-sid",
 ]
+
 SUPPORTED_PLATFORMS["11.5"] = SUPPORTED_PLATFORMS["11.4"].copy()
+SUPPORTED_PLATFORMS["11.5"].remove("amd64-centos-7-bintar")
 SUPPORTED_PLATFORMS["11.6"] = SUPPORTED_PLATFORMS["11.5"].copy()
 SUPPORTED_PLATFORMS["11.7"] = SUPPORTED_PLATFORMS["11.6"].copy()
 SUPPORTED_PLATFORMS["11.8"] = SUPPORTED_PLATFORMS["11.7"].copy()