diff options
Diffstat (limited to 'python/servo/platform/base.py')
| -rw-r--r-- | python/servo/platform/base.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index e6d3e955cda..7333c7dc4ae 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -54,10 +54,12 @@ class Base: except FileNotFoundError: return False - def bootstrap(self, force: bool): - installed_something = self._platform_bootstrap(force) + def bootstrap(self, force: bool, skip_platform: bool): + if not skip_platform: + installed_something = self._platform_bootstrap(force) installed_something |= self.install_taplo(force) installed_something |= self.install_crown(force) + if not installed_something: print("Dependencies were already installed!") |