diff options
Diffstat (limited to 'python/servo/platform/base.py')
| -rw-r--r-- | python/servo/platform/base.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/python/servo/platform/base.py b/python/servo/platform/base.py index 0e81f149d9e..3cfbd09b618 100644 --- a/python/servo/platform/base.py +++ b/python/servo/platform/base.py @@ -54,13 +54,14 @@ class Base: except FileNotFoundError: return False - def bootstrap(self, force: bool, skip_platform: bool): + def bootstrap(self, force: bool, skip_platform: bool, skip_lints: bool): installed_something = False if not skip_platform: installed_something |= self._platform_bootstrap(force) - installed_something |= self.install_taplo(force) - installed_something |= self.install_cargo_deny(force) - installed_something |= self.install_crown(force) + if not skip_lints: + installed_something |= self.install_taplo(force) + installed_something |= self.install_cargo_deny(force) + installed_something |= self.install_crown(force) if not installed_something: print("Dependencies were already installed!") |