From 409e017d37e6472a386494f2b2b18ef31cf39edf Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Tue, 27 Feb 2024 16:00:25 +1300
Subject: [PATCH] CI: also create deb on Linux Mint

Just assume it's Ubuntu.

Signed-off-by: Julian Oes <julian@oes.ch>
---
 create_packages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/create_packages.sh b/create_packages.sh
index 24b268d..3ef1e1f 100755
--- a/create_packages.sh
+++ b/create_packages.sh
@@ -70,7 +70,7 @@ common_args="--chdir ${working_dir}/install \
 
 echo "common_args: ${common_args}"
 
-if cat /etc/os-release | grep 'Ubuntu'
+if cat /etc/os-release | grep -e 'Ubuntu' -e 'Mint'
 then
     echo "Building Ubuntu DEB package"
     fpm ${common_args} \