diff options
| author | Wu Yu Wei <wusyong9104@gmail.com> | 2021-12-30 15:40:20 +0800 |
|---|---|---|
| committer | Wu Yu Wei <wusyong9104@gmail.com> | 2021-12-30 15:40:20 +0800 |
| commit | edd082cdbc10394d12040013657ae684da51f7a3 (patch) | |
| tree | e8399b1dd37bda42b929d9a5b5200d4fb6125ffc /python/servo | |
| parent | 4f1ca4d1bc6a50feb298f35839797372c50733c8 (diff) | |
| download | servo-edd082cdbc10394d12040013657ae684da51f7a3.tar.gz servo-edd082cdbc10394d12040013657ae684da51f7a3.zip | |
Allow bootstrap on Pop!_OS 21.10
Diffstat (limited to 'python/servo')
| -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 f7da1205edc..6e3f9a20b87 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -355,7 +355,9 @@ def get_linux_distribution(): else: major = version - if major == '20': + if major == '21': + base_version = '21.04' + elif major == '20': base_version = '20.04' elif major == '19': base_version = '18.04' |