aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/bootstrap.py
diff options
context:
space:
mode:
authorAneesh Agrawal <aneeshusa@gmail.com>2017-04-12 15:36:06 -0400
committerAneesh Agrawal <aneeshusa@gmail.com>2017-04-12 15:36:06 -0400
commit40c70bfb28197f538062344ec034581cf2bc50fc (patch)
tree2ec22d7836fe45e84a2dc1312d92a1458cd86c7e /python/servo/bootstrap.py
parent294f44eca03eff39ceb252b32b3412fa67a9d8b0 (diff)
downloadservo-40c70bfb28197f538062344ec034581cf2bc50fc.tar.gz
servo-40c70bfb28197f538062344ec034581cf2bc50fc.zip
Allow bootstrapping on Debian
Diffstat (limited to 'python/servo/bootstrap.py')
-rw-r--r--python/servo/bootstrap.py8
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