diff options
Diffstat (limited to 'python/servo/devenv_commands.py')
-rw-r--r-- | python/servo/devenv_commands.py | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/python/servo/devenv_commands.py b/python/servo/devenv_commands.py index 2545693207d..ad5a02c270d 100644 --- a/python/servo/devenv_commands.py +++ b/python/servo/devenv_commands.py @@ -37,7 +37,8 @@ class MachCommands(CommandBase): @CommandArgument( 'params', default=None, nargs='...', help="Command-line arguments to be passed through to cargo check") - def check(self, params): + @CommandBase.build_like_command_arguments + def check(self, params, **kwargs): if not params: params = [] @@ -45,12 +46,8 @@ class MachCommands(CommandBase): self.ensure_clobbered() env = self.build_env() - params = ['check'] + params - - self.add_manifest_path(params) - build_start = time() - status = self.call_rustup_run(["cargo"] + params, env=env) + status = self.run_cargo_build_like_command("check", params, env=env, **kwargs) elapsed = time() - build_start notify_build_done(self.config, elapsed, status == 0) |