From 40c70bfb28197f538062344ec034581cf2bc50fc Mon Sep 17 00:00:00 2001
From: Aneesh Agrawal <aneeshusa@gmail.com>
Date: Wed, 12 Apr 2017 15:36:06 -0400
Subject: [PATCH] Allow bootstrapping on Debian

---
 python/servo/bootstrap.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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