diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2018-09-25 21:00:26 +0200 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2018-09-26 08:18:58 +0200 |
commit | deeb79669f2bd3829cca745f2d514205a4d61307 (patch) | |
tree | e9733234b5b998e45bfb3b1781045a218ee1287c /python/servo/build_commands.py | |
parent | 4e85f9c186a4cd1e23ba5cbe0c019b026d952ce1 (diff) | |
download | servo-deeb79669f2bd3829cca745f2d514205a4d61307.tar.gz servo-deeb79669f2bd3829cca745f2d514205a4d61307.zip |
Only add --manifest-path if not already present
Diffstat (limited to 'python/servo/build_commands.py')
-rw-r--r-- | python/servo/build_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
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"] |