From 328f74ed8134bd7d2f7175d632e79cd7abdd8197 Mon Sep 17 00:00:00 2001
From: George Peden <george@peden.ws>
Date: Tue, 3 Sep 2024 07:58:54 -0700
Subject: [PATCH] Treat linuxmint the same as ubuntu. fixes #6591 (#6592)

* Treat linuxmint the same as ubuntu. fixes #6591

* Merge branch 'SoftFever:main' into buildlinuxmint
---
 BuildLinux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BuildLinux.sh b/BuildLinux.sh
index abb81ca73..28d84fb04 100755
--- a/BuildLinux.sh
+++ b/BuildLinux.sh
@@ -80,7 +80,7 @@ fi
 
 DISTRIBUTION=$(awk -F= '/^ID=/ {print $2}' /etc/os-release)
 # treat ubuntu as debian
-if [ "${DISTRIBUTION}" == "ubuntu" ]
+if [ "${DISTRIBUTION}" == "ubuntu" ] || [ "${DISTRIBUTION}" == "linuxmint" ]
 then
     DISTRIBUTION="debian"
 fi