diff --git a/BuildLinux.sh b/BuildLinux.sh index 2009fbdd45..358ee3b73d 100755 --- a/BuildLinux.sh +++ b/BuildLinux.sh @@ -84,11 +84,6 @@ fi DISTRIBUTION=$(awk -F= '/^ID=/ {print $2}' /etc/os-release) VERSION=$(awk -F= '/^VERSION_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" @@ -196,4 +191,4 @@ echo "[9/9] Generating Linux app..." fi popd echo "done" -fi \ No newline at end of file +fi diff --git a/linux.d/linuxmint b/linux.d/linuxmint new file mode 120000 index 0000000000..b2f7fd3e91 --- /dev/null +++ b/linux.d/linuxmint @@ -0,0 +1 @@ +debian \ No newline at end of file diff --git a/linux.d/ubuntu b/linux.d/ubuntu new file mode 120000 index 0000000000..b2f7fd3e91 --- /dev/null +++ b/linux.d/ubuntu @@ -0,0 +1 @@ +debian \ No newline at end of file