diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2024-06-24 19:13:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-24 17:13:09 +0000 |
| commit | e331cc67c3f8d09b3108d6e8f3bd92128dad3b42 (patch) | |
| tree | d1bda2adf4ad38b733b4df88fa088e535daf23e4 /python/servo/platform/base.py | |
| parent | 30dad2565f5fad2d498f62a62895c3fd71c2c16d (diff) | |
| download | servo-e331cc67c3f8d09b3108d6e8f3bd92128dad3b42.tar.gz servo-e331cc67c3f8d09b3108d6e8f3bd92128dad3b42.zip | |
mach: Expose a `--skip-static-analysis` to `mach boostrap` (#32587)
This should speed up runners which just need to run the WPT tests.
Fixes #32582.
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!") |