diff options
author | Aneesh Agrawal <aneeshusa@gmail.com> | 2017-04-12 15:36:06 -0400 |
---|---|---|
committer | Aneesh Agrawal <aneeshusa@gmail.com> | 2017-04-12 15:36:06 -0400 |
commit | 40c70bfb28197f538062344ec034581cf2bc50fc (patch) | |
tree | 2ec22d7836fe45e84a2dc1312d92a1458cd86c7e /python/servo/bootstrap.py | |
parent | 294f44eca03eff39ceb252b32b3412fa67a9d8b0 (diff) | |
download | servo-40c70bfb28197f538062344ec034581cf2bc50fc.tar.gz servo-40c70bfb28197f538062344ec034581cf2bc50fc.zip |
Allow bootstrapping on Debian
Diffstat (limited to 'python/servo/bootstrap.py')
-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 |