diff options
Diffstat (limited to 'python/servo/build_commands.py')
-rw-r--r-- | python/servo/build_commands.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 8182f42dc9e..943281ecf2b 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -181,9 +181,14 @@ class MachCommands(CommandBase): default=None, action='store_true', help='Enable debug assertions in release') + @CommandArgument('--libsimpleservo', + default=None, + action='store_true', + help='Build the libsimpleservo library instead of the servo executable') def build(self, target=None, release=False, dev=False, jobs=None, features=None, android=None, no_package=False, verbose=False, very_verbose=False, - debug_mozjs=False, params=None, with_debug_assertions=False): + debug_mozjs=False, params=None, with_debug_assertions=False, + libsimpleservo=False): opts = params or [] @@ -251,6 +256,8 @@ class MachCommands(CommandBase): self.ensure_bootstrapped(target=target) self.ensure_clobbered() + opts += ["--manifest-path", self.manifest_path(android, libsimpleservo)] + if debug_mozjs: features += ["debugmozjs"] |