diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/bootstrap.py | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 28292ea3510..ce959f48c7c 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -124,7 +124,7 @@ def linux(context, force=False): 'ccache', 'mesa-libGLU-devel', 'clang', 'clang-libs', 'gstreamer1-devel', 'gstreamer1-plugins-base-devel', 'gstreamer1-plugins-bad-free-devel', 'autoconf213'] if context.distro == "Ubuntu": - if context.distro_version == "17.04": + if context.distro_version == "17.04" or context.distro_version == "19.04": pkgs_apt += ["libssl-dev"] elif int(context.distro_version.split(".")[0]) < 17: pkgs_apt += ["libssl-dev"] @@ -384,14 +384,19 @@ def get_linux_distribution(): base_version = '10.10' else: raise Exception('unsupported version of %s: %s' % (distro, version)) - distro, version = 'Ubuntu', base_version + elif distro.lower() == 'ubuntu': + if version == '19.04': + base_version = '19.04' + else: + raise Exception('unsupported version of %s: %s' % (distro, version)) + distro, version = 'Ubuntu', base_version + #fixme: we should allow checked/supported versions only elif distro.lower() not in [ 'centos', 'centos linux', 'debian', 'fedora', - 'ubuntu', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distro) |