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

Auto merge of #27481 - Monty0045:master, r=jdm

Browse source 
Support Linux Mint 20.04 for mach bootstrap

<!-- Please describe your changes on the following line: -->
Adds support for Linux Mint 20.04 (based on Ubuntu 20.04) to mach bootstrap.

---
<!-- 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

<!-- 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 2020-08-04 13:17:45 -04:00 • committed by GitHub
commit 9c59dae708
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

@ -339,7 +339,9 @@ def get_linux_distribution():
else: else:
major = version major = version
if major == '19': if major == '20':
base_version = '20.04'
elif major == '19':
base_version = '18.04' base_version = '18.04'
elif major == '18': elif major == '18':
base_version = '16.04' base_version = '16.04'