aboutsummaryrefslogtreecommitdiffstats
path: root/python/mach_bootstrap.py
diff options
context:
space:
mode:
authorMartin Robinson <mrobinson@igalia.com>2024-06-24 19:13:09 +0200
committerGitHub <noreply@github.com>2024-06-24 17:13:09 +0000
commite331cc67c3f8d09b3108d6e8f3bd92128dad3b42 (patch)
treed1bda2adf4ad38b733b4df88fa088e535daf23e4 /python/mach_bootstrap.py
parent30dad2565f5fad2d498f62a62895c3fd71c2c16d (diff)
downloadservo-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.py3
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