Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #28654 - wusyong:bootstrap, r=jdm

Browse source 
Allow bootstrap on Pop!_OS 21.10

<!-- Please describe your changes on the following line: -->
bootstrap.py doesn't support Pop!_OS 21.x yet. Adding these lines should make the script works again.

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors

<!-- Either: -->
- [x] These changes do not require tests because it seems there no test requires certain version check and test-tidy has passed.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
This commit is contained in:
bors-servo 2021-12-30 10:21:44 -05:00 • committed by GitHub
commit 21bbca4609
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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'