Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #24562 - mnem:fix-bootstrap-ubuntu-19.10, r=jdm

Browse source 
Update the maximum version of Ubuntu suppported to 19.10

Update bootstrap.py to allow it to run on Ubuntu 19.10

---
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #23881

- [ ] There are tests for these changes OR
- [X] These changes do not require tests because there are no tests for bootstrap.py
This commit is contained in:
bors-servo 2019-10-27 21:32:22 -04:00 • committed by GitHub
commit 9640ad1ccf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/bootstrap.py
View file

@ -379,7 +379,7 @@ def get_linux_distribution():
raise Exception('unsupported version of %s: %s' % (distrib, version))
distrib, version = 'Ubuntu', base_version
elif distrib.lower() == 'ubuntu':
if version > '19.04':
if version > '19.10':
raise Exception('unsupported version of %s: %s' % (distrib, version))
# Fixme: we should allow checked/supported versions only
elif distrib.lower() not in [