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/mach_bootstrap.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/mach_bootstrap.py')
-rw-r--r-- | python/mach_bootstrap.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/mach_bootstrap.py b/python/mach_bootstrap.py index 6690bc1bd2c..41cf6dc810d 100644 --- a/python/mach_bootstrap.py +++ b/python/mach_bootstrap.py @@ -200,7 +200,8 @@ def bootstrap_command_only(topdir): try: force = '-f' in sys.argv or '--force' in sys.argv skip_platform = '--skip-platform' in sys.argv - servo.platform.get().bootstrap(force, skip_platform) + skip_lints = '--skip-lints' in sys.argv + servo.platform.get().bootstrap(force, skip_platform, skip_lints) except NotImplementedError as exception: print(exception) return 1 |