diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-27 13:35:09 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-27 13:35:09 -0400 |
commit | 0964d055cd2c390439a007bca3099258fa2ada3f (patch) | |
tree | 8ddd2e6f8143f2521784de1cde9e706d50d6edc6 /python/servo/build_commands.py | |
parent | de415e35fc127d70fc1e692a266b97d20aa0630e (diff) | |
parent | deeb79669f2bd3829cca745f2d514205a4d61307 (diff) | |
download | servo-0964d055cd2c390439a007bca3099258fa2ada3f.tar.gz servo-0964d055cd2c390439a007bca3099258fa2ada3f.zip |
Auto merge of #21809 - servo:features, r=SimonSapin
Only build ports/servo by default (except Android), add `./mach build --libsimpleservo`
Fixes #21314
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21809)
<!-- Reviewable:end -->
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 12287a0c8dc..da74a201aa4 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -184,9 +184,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 [] @@ -254,6 +259,8 @@ class MachCommands(CommandBase): self.ensure_bootstrapped(target=target) self.ensure_clobbered() + self.add_manifest_path(opts, android, libsimpleservo) + if debug_mozjs: features += ["debugmozjs"] |