diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/bootstrap.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 1357abac14a..010b410b9d4 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -270,7 +270,13 @@ def bootstrap(context, force=False): bootstrapper = windows_msvc elif "linux-gnu" in host_triple(): distro, version, _ = platform.linux_distribution() - if distro in ['CentOS', 'CentOS Linux', 'Fedora', 'Ubuntu']: + if distro.lower() in [ + 'centos', + 'centos linux', + 'debian', + 'fedora', + 'ubuntu', + ]: context.distro = distro bootstrapper = salt |