diff options
Diffstat (limited to 'python/servo/devenv_commands.py')
| -rw-r--r-- | python/servo/devenv_commands.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/python/servo/devenv_commands.py b/python/servo/devenv_commands.py index 2f323010a18..c71f424daac 100644 --- a/python/servo/devenv_commands.py +++ b/python/servo/devenv_commands.py @@ -40,8 +40,7 @@ class MachCommands(CommandBase): if check: params = ['check'] + params - if "--manifest-path" not in params: - params += ["--manifest-path", self.ports_servo_manifest()] + self.add_manifest_path(params) build_start = time() status = self.call_rustup_run(["cargo"] + params, env=env) |