Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-17 12:23:40 +01:00
Code Issues Projects Releases Packages Wiki Activity

Warning instead of exception on unsupported Ubuntu

Browse source
This commit is contained in:
sagudev 2023-02-17 08:18:17 +01:00
parent 8e300ca5bd
commit 73bd128d44
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

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