diff options
author | David Wagner <mnem@noiseandheat.com> | 2019-10-27 22:14:27 +0000 |
---|---|---|
committer | David Wagner <mnem@noiseandheat.com> | 2019-10-27 22:14:27 +0000 |
commit | 94834420073a5d81e41d554220e6c2ebdf310ef9 (patch) | |
tree | f283aaa83be3a73aa725b2c362df64e56138be7e /python | |
parent | 2ad6e940913972620eab6c45a3fe2ace3c2c88f0 (diff) | |
download | servo-94834420073a5d81e41d554220e6c2ebdf310ef9.tar.gz servo-94834420073a5d81e41d554220e6c2ebdf310ef9.zip |
Update the maximum version of Ubuntu suppported to 19.10
Diffstat (limited to 'python')
-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 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 [ |