diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/command_base.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 6c193191fb0..393808213a6 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -716,7 +716,7 @@ install them, let us know by filing a bug!") def add_manifest_path(self, args, android=False, libsimpleservo=False): if "--manifest-path" not in args: if libsimpleservo or android: - manifest = self.ports_libsimpleservo_manifest() + manifest = self.ports_libsimpleservo_manifest(android) else: manifest = self.ports_servo_manifest() args.append("--manifest-path") @@ -725,8 +725,12 @@ install them, let us know by filing a bug!") def ports_servo_manifest(self): return path.join(self.context.topdir, "ports", "servo", "Cargo.toml") - def ports_libsimpleservo_manifest(self): - return path.join(self.context.topdir, "ports", "libsimpleservo", "Cargo.toml") + def ports_libsimpleservo_manifest(self, android=False): + if android: + api = "jniapi" + else: + api = "capi" + return path.join(self.context.topdir, "ports", "libsimpleservo", api, "Cargo.toml") def servo_features(self): """Return a list of optional features to enable for the Servo crate""" |