From e175c72a400d0e853156d79cff8398f06c6f4171 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Sat, 8 Jun 2024 12:26:02 +0100
Subject: [PATCH] switch default linux version to 3.11

---
 ctl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ctl b/ctl
index a463df1..67f2fa3 100755
--- a/ctl
+++ b/ctl
@@ -44,7 +44,7 @@ else
     if [ $SYSTEM == "Linux" ]; then
         if [ $PLATFORM == "x86_64" ]; then
             ARCH=64
-            PLATFORM_PYTHON=3.7
+            PLATFORM_PYTHON=3.11
         else
             ARCH=32
         fi