diff options
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) |