Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-28 19:13:41 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update Ubuntu version upto 20.04

Browse source 
Update Ubuntu version upto 20.04
This commit is contained in:
complexengine 2020-04-30 09:10:31 +05:30 • committed by GitHub
parent 343f249c1d
commit 399ee3fee7
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

@ -352,7 +352,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.10': if version > '20.04':
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 [