From c241442aecaeff5d68a184c0f2b45814a53aea94 Mon Sep 17 00:00:00 2001
From: Jan Andre Ikenmeyer <jan@ikenmeyer.eu>
Date: Sun, 10 Nov 2019 19:57:39 +0100
Subject: [PATCH] Fix Debian bootstrap

---
 python/servo/bootstrap.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
index 3a01f666a56..f65284073e9 100644
--- 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)