Fix Debian bootstrap

servo · Nov 10, 2019 · c241442 · c241442
1 parent c71988e
commit c241442
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
@@ -385,7 +385,7 @@ def get_linux_distribution():
     elif distrib.lower() not in [
         'centos',
         'centos linux',
-        'debian',
+        'debian gnu/linux',
         'fedora',
     ]:
         raise Exception('mach bootstrap does not support %s, please file a bug' % distrib)