Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

bootstrap: Make unknown distro instructions more helpful (#31750)

Browse source 
It doesn't make sense to ask everyone to file a bug if their
distribution is unsupported. We have manual build instructions for some
distributions and we can add instructions for more easily.
This commit is contained in:
Martin Robinson 2024-03-19 09:43:07 +01:00 • committed by GitHub
parent 2a02f94d76
commit 8cf47e6009
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -146,8 +146,9 @@ class Linux(Base):
'void', 'void',
'fedora linux asahi remix' 'fedora linux asahi remix'
]: ]:
raise NotImplementedError("mach bootstrap does not support " raise NotImplementedError(f"mach bootstrap does not support {self.distro}."
f"{self.distro}, please file a bug") " You may be able to install dependencies manually."
" See https://github.com/servo/servo/wiki/Building.")
installed_something = self.install_non_gstreamer_dependencies(force) installed_something = self.install_non_gstreamer_dependencies(force)
return installed_something return installed_something