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

Fix bootstrap error on Ubuntu 20.10

Browse source
This commit is contained in:
Vincent Ricard 2021-01-14 19:57:27 +01:00
parent 2efc2e2880
commit 02e9fc6ff9
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

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