diff options
Diffstat (limited to 'python/servo/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index a283b0d6c91..540c0f1601b 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -38,14 +38,16 @@ class MachCommands(CommandBase): @CommandArgument('--verbose', '-v', action='store_true', help='Print verbose output') + @CommandArgument('params', nargs='...', + help="Command-line arguments to be passed through to Cargo") def build(self, target=None, release=False, jobs=None, android=None, - verbose=False, debug_mozjs=False): + verbose=False, debug_mozjs=False, params=None): self.ensure_bootstrapped() if android is None: android = self.config["build"]["android"] - opts = [] + opts = params or [] features = [] if release: |