aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--python/servo/bootstrap.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
index 4f3f84ebcae..4f9744a7c17 100644
--- a/python/servo/bootstrap.py
+++ b/python/servo/bootstrap.py
@@ -345,7 +345,10 @@ def get_linux_distribution():
distro, version, _ = platform.linux_distribution()
if distro == 'LinuxMint':
- major, minor = version.split('.')
+ if '.' in version:
+ major, _ = version.split('.', 1)
+ else:
+ major = version
if major == '19':
base_version = '18.04'