From cc4fe4981f5354835ef6c5fba24b31a031451bbd Mon Sep 17 00:00:00 2001 From: Manuel Rego Casasnovas Date: Mon, 28 Aug 2023 13:13:25 +0200 Subject: Add Raspbian GNU/Linux distro for mach bootstrap (#30223) --- python/servo/platform/linux.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'python/servo/platform/linux.py') diff --git a/python/servo/platform/linux.py b/python/servo/platform/linux.py index a5d0ea6bce2..34ed8984759 100644 --- a/python/servo/platform/linux.py +++ b/python/servo/platform/linux.py @@ -114,6 +114,7 @@ class Linux(Base): 'centos linux', 'centos', 'debian gnu/linux', + 'raspbian gnu/linux', 'fedora linux', 'fedora', 'nixos', @@ -141,7 +142,7 @@ class Linux(Base): def install_non_gstreamer_dependencies(self, force: bool) -> bool: install = False pkgs = [] - if self.distro in ['Ubuntu', 'Debian GNU/Linux']: + if self.distro in ['Ubuntu', 'Debian GNU/Linux', 'Raspbian GNU/Linux']: command = ['apt-get', 'install'] pkgs = APT_PKGS if subprocess.call(['dpkg', '-s'] + pkgs, -- cgit v1.2.3