Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Allow bootstrap on Pop!_OS 21.10

Browse source
This commit is contained in:
Wu Yu Wei 2021-12-30 15:40:20 +08:00
parent 4f1ca4d1bc
commit edd082cdbc
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/bootstrap.py
View file

@ -355,7 +355,9 @@ def get_linux_distribution():
else: else:
major = version major = version
if major == '20': if major == '21':
base_version = '21.04'
elif major == '20':
base_version = '20.04' base_version = '20.04'
elif major == '19': elif major == '19':
base_version = '18.04' base_version = '18.04'