support debian 12

BuildLinux.sh

@@ -79,6 +79,11 @@ then
 fi
 
 DISTRIBUTION=$(awk -F= '/^ID=/ {print $2}' /etc/os-release)
+# treat ubuntu as debian
+if [ "${DISTRIBUTION}" == "ubuntu" ]
+then
+    DISTRIBUTION="debian"
+fi
 if [ ! -f ./linux.d/${DISTRIBUTION} ]
 then
     echo "Your distribution does not appear to be currently supported by these build scripts"