diff options
| author | Delan Azabani <dazabani@igalia.com> | 2024-05-22 14:23:57 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-22 06:23:57 +0000 |
| commit | d47c8ff2aeebe5854a7c8484a33d285268347fee (patch) | |
| tree | 28758407d3d1f9c0527bd4b8e9379a856cab680f /python/servo | |
| parent | 5d5ac4ec646d702efa4a0ae3e29a192512756cc9 (diff) | |
| download | servo-d47c8ff2aeebe5854a7c8484a33d285268347fee.tar.gz servo-d47c8ff2aeebe5854a7c8484a33d285268347fee.zip | |
Fix mach bootstrap --skip-platform (#32341)
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/platform/base.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index 7333c7dc4ae..b2957941c6e 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -55,8 +55,9 @@ class Base: return False def bootstrap(self, force: bool, skip_platform: bool): + installed_something = False 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_crown(force) |