From deeb79669f2bd3829cca745f2d514205a4d61307 Mon Sep 17 00:00:00 2001 From: Simon Sapin Date: Tue, 25 Sep 2018 21:00:26 +0200 Subject: Only add --manifest-path if not already present --- python/servo/build_commands.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'python/servo/build_commands.py') diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 943281ecf2b..2cb7856b0f2 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -256,7 +256,7 @@ class MachCommands(CommandBase): self.ensure_bootstrapped(target=target) self.ensure_clobbered() - opts += ["--manifest-path", self.manifest_path(android, libsimpleservo)] + self.add_manifest_path(opts, android, libsimpleservo) if debug_mozjs: features += ["debugmozjs"] -- cgit v1.2.3