diff options
| author | Wyatt Turner <wyatturner.45@gmail.com> | 2020-08-02 21:55:39 -0700 |
|---|---|---|
| committer | Wyatt Turner <wyatturner.45@gmail.com> | 2020-08-02 21:55:39 -0700 |
| commit | 8b89688b480656843386d1b3e322e6ea9c25ddc6 (patch) | |
| tree | 23889c281ee30451fe0dd5b86cacfef90b1ded63 /python/servo/bootstrap.py | |
| parent | 8bf3440380162832d5989ef8010e6483e1c0778d (diff) | |
| download | servo-8b89688b480656843386d1b3e322e6ea9c25ddc6.tar.gz servo-8b89688b480656843386d1b3e322e6ea9c25ddc6.zip | |
Support Linux Mint 20.04
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
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' |