From 94834420073a5d81e41d554220e6c2ebdf310ef9 Mon Sep 17 00:00:00 2001 From: David Wagner Date: Sun, 27 Oct 2019 22:14:27 +0000 Subject: [PATCH] Update the maximum version of Ubuntu suppported to 19.10 --- 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 1e1703236b2..f240131f30a 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -379,7 +379,7 @@ def get_linux_distribution(): raise Exception('unsupported version of %s: %s' % (distrib, version)) distrib, version = 'Ubuntu', base_version elif distrib.lower() == 'ubuntu': - if version > '19.04': + if version > '19.10': raise Exception('unsupported version of %s: %s' % (distrib, version)) # Fixme: we should allow checked/supported versions only elif distrib.lower() not in [