diff options
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index 3545de3a82d..362509ffc3a 100644 --- a/python/servo/bootstrap_commands.py +++ b/python/servo/bootstrap_commands.py @@ -43,12 +43,15 @@ class MachCommands(CommandBase): @CommandArgument('--skip-platform', action='store_true', help='Skip platform bootstrapping.') - def bootstrap(self, force=False, skip_platform=False): + @CommandArgument('--skip-lints', + action='store_true', + help='Skip tool necessary for linting.') + def bootstrap(self, force=False, skip_platform=False, skip_lints=False): # Note: This entry point isn't actually invoked by ./mach bootstrap. # ./mach bootstrap calls mach_bootstrap.bootstrap_command_only so that # it can install dependencies without needing mach's dependencies try: - servo.platform.get().bootstrap(force, skip_platform) + servo.platform.get().bootstrap(force, skip_platform, skip_lints) except NotImplementedError as exception: print(exception) return 1 |