From 8b89688b480656843386d1b3e322e6ea9c25ddc6 Mon Sep 17 00:00:00 2001 From: Wyatt Turner Date: Sun, 2 Aug 2020 21:55:39 -0700 Subject: Support Linux Mint 20.04 --- python/servo/bootstrap.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'python/servo/bootstrap.py') diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index aea8732e8ac..ce35adb6595 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -339,7 +339,9 @@ def get_linux_distribution(): else: major = version - if major == '19': + if major == '20': + base_version = '20.04' + elif major == '19': base_version = '18.04' elif major == '18': base_version = '16.04' -- cgit v1.2.3