diff options
| author | sagudev <16504129+sagudev@users.noreply.github.com> | 2023-02-17 08:18:17 +0100 |
|---|---|---|
| committer | sagudev <16504129+sagudev@users.noreply.github.com> | 2023-02-17 08:18:17 +0100 |
| commit | 73bd128d44edad27d991918b5e145288031a864f (patch) | |
| tree | 9f210749c73db2459c956bb4dc3d473d9bcccbb8 /python/servo/bootstrap.py | |
| parent | 8e300ca5bd6ca159992750ca3f5b281123c045f1 (diff) | |
| download | servo-73bd128d44edad27d991918b5e145288031a864f.tar.gz servo-73bd128d44edad27d991918b5e145288031a864f.zip | |
Warning instead of exception on unsupported Ubuntu
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 8ceb4d11a55..c83adc24897 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -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', |