Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 21:13:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update the maximum version of Ubuntu suppported to 19.10

Browse source
This commit is contained in:
David Wagner 2019-10-27 22:14:27 +00:00
parent 2ad6e94091
commit 9483442007
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)) raise Exception('unsupported version of %s: %s' % (distrib, version))
distrib, version = 'Ubuntu', base_version distrib, version = 'Ubuntu', base_version
elif distrib.lower() == 'ubuntu': elif distrib.lower() == 'ubuntu':
if version > '19.04': if version > '19.10':
raise Exception('unsupported version of %s: %s' % (distrib, version)) raise Exception('unsupported version of %s: %s' % (distrib, version))
# Fixme: we should allow checked/supported versions only # Fixme: we should allow checked/supported versions only
elif distrib.lower() not in [ elif distrib.lower() not in [