From 16bb61bd5469e429638c5c6b05e650f77de65faf Mon Sep 17 00:00:00 2001
From: Dylan Lom <dlom@sdf.org>
Date: Wed, 1 Apr 2020 10:53:49 +1100
Subject: [PATCH] Add support for Debian in mach 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 9291ce87e3f..fa8fa7488ed 100644
--- a/python/servo/bootstrap.py
+++ b/python/servo/bootstrap.py
@@ -64,7 +64,7 @@ def run_as_root(command, force=False):
 def install_linux_deps(context, pkgs_ubuntu, pkgs_fedora, force):
     install = False
     pkgs = []
-    if context.distro == 'Ubuntu':
+    if context.distro in ['Ubuntu', 'Debian GNU/Linux']:
         command = ['apt-get', 'install']
         pkgs = pkgs_ubuntu
         if subprocess.call(['dpkg', '-s'] + pkgs, stdout=PIPE, stderr=PIPE) != 0: