diff --git a/BuildLinux.sh b/BuildLinux.sh index 1a217c683..9b4709b6e 100755 --- a/BuildLinux.sh +++ b/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" diff --git a/linux.d/ubuntu b/linux.d/debian similarity index 100% rename from linux.d/ubuntu rename to linux.d/debian