Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-13 19:04:30 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix mach bootstrap --skip-platform (#32341)

Browse source
This commit is contained in:
Delan Azabani 2024-05-22 14:23:57 +08:00 • committed by GitHub
parent 5d5ac4ec64
commit d47c8ff2ae
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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/base.py
View file

@ -55,8 +55,9 @@ class Base:
return False return False
def bootstrap(self, force: bool, skip_platform: bool): def bootstrap(self, force: bool, skip_platform: bool):
installed_something = False
if not skip_platform: if not skip_platform:
installed_something = self._platform_bootstrap(force) installed_something |= self._platform_bootstrap(force)
installed_something |= self.install_taplo(force) installed_something |= self.install_taplo(force)
installed_something |= self.install_crown(force) installed_something |= self.install_crown(force)