Allow bootstrapping on Debian

2025-06-06 16:45:39 +00:00 · 2017-04-12 15:36:06 -04:00 · 2017-04-12 15:36:06 -04:00 · 40c70bfb28
commit 40c70bfb28
parent 294f44eca0
1 changed files with 7 additions and 1 deletions
--- 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