Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add Raspbian GNU/Linux distro for mach bootstrap (#30223)

Browse source
This commit is contained in:
Manuel Rego Casasnovas 2023-08-28 13:13:25 +02:00 • committed by GitHub
parent 43d4d0103a
commit cc4fe4981f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/servo/platform/linux.py
View file

@ -114,6 +114,7 @@ class Linux(Base):
'centos linux', 'centos linux',
'centos', 'centos',
'debian gnu/linux', 'debian gnu/linux',
'raspbian gnu/linux',
'fedora linux', 'fedora linux',
'fedora', 'fedora',
'nixos', 'nixos',
@ -141,7 +142,7 @@ class Linux(Base):
def install_non_gstreamer_dependencies(self, force: bool) -> bool: def install_non_gstreamer_dependencies(self, force: bool) -> bool:
install = False install = False
pkgs = [] pkgs = []
if self.distro in ['Ubuntu', 'Debian GNU/Linux']: if self.distro in ['Ubuntu', 'Debian GNU/Linux', 'Raspbian GNU/Linux']:
command = ['apt-get', 'install'] command = ['apt-get', 'install']
pkgs = APT_PKGS pkgs = APT_PKGS
if subprocess.call(['dpkg', '-s'] + pkgs, if subprocess.call(['dpkg', '-s'] + pkgs,