diff options
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index b335dcd69eb..85ec8435834 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -670,9 +670,18 @@ install them, let us know by filing a bug!") def ports_servo_crate(self): return path.join(self.context.topdir, "ports", "servo") + def manifest_path(self, android=False, libsimpleservo=False): + if libsimpleservo or android: + return self.ports_libsimpleservo_manifest() + else: + return self.ports_servo_manifest() + 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 servo_features(self): """Return a list of optional features to enable for the Servo crate""" features = [] |