From 73bd128d44edad27d991918b5e145288031a864f Mon Sep 17 00:00:00 2001 From: sagudev <16504129+sagudev@users.noreply.github.com> Date: Fri, 17 Feb 2023 08:18:17 +0100 Subject: [PATCH] Warning instead of exception on unsupported Ubuntu --- python/servo/bootstrap.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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',