diff options
| author | bors-servo <servo-ops@mozilla.com> | 2022-04-29 15:16:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-29 15:16:23 -0400 |
| commit | c23adde5a33348aa38f7c2ad22bf96d91dcc7b33 (patch) | |
| tree | 3a9fbca9953e1f9990ea2500a8d0e16fc99d6e43 | |
| parent | 6a871808e893c3b9f4dffde1abacff7898c2612f (diff) | |
| parent | ccc0ce5578652425ae42e87fca7d3b659987b7bd (diff) | |
| download | servo-c23adde5a33348aa38f7c2ad22bf96d91dcc7b33.tar.gz servo-c23adde5a33348aa38f7c2ad22bf96d91dcc7b33.zip | |
Auto merge of #28889 - thomas992:patch-1, r=jdm
Update bootstrap to support Pop!_OS 22.04
Bootstrap downloads dependencies. Updating Pop!_OS and Linux Mint, notable exception being Elementary OS untested
<!-- Please describe your changes on the following line: -->
---
<!-- 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
- [X ] These changes fix bootstrap (GitHub issue number if applicable)
-
thank you!
| -rw-r--r-- | python/servo/bootstrap.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 6e3f9a20b87..a3c5c9efb34 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -339,7 +339,11 @@ def get_linux_distribution(): else: major = version - if major == '20': + if major == '22': + base_version = '22.04' + elif major == '21': + base_version = '21.04' + elif major == '20': base_version = '20.04' elif major == '19': base_version = '18.04' @@ -355,7 +359,9 @@ def get_linux_distribution(): else: major = version - if major == '21': + if major == '22': + base_version = '22.04' + elif major == '21': base_version = '21.04' elif major == '20': base_version = '20.04' |