diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2018-09-25 15:00:25 +0200 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2018-09-25 19:21:59 +0200 |
| commit | 39079cff8baffc02feacb563ce027c55abd40a62 (patch) | |
| tree | eefe326ab5c507d5d9baf5036884f599fd706a2a /python/servo/devenv_commands.py | |
| parent | 6842553923a0d491be2a07f7aba3f72379215535 (diff) | |
| download | servo-39079cff8baffc02feacb563ce027c55abd40a62.tar.gz servo-39079cff8baffc02feacb563ce027c55abd40a62.zip | |
Only build ports/servo by default (except Android), add `./mach build --libsimpleservo`
Fixes #21314
Diffstat (limited to 'python/servo/devenv_commands.py')
| -rw-r--r-- | python/servo/devenv_commands.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/servo/devenv_commands.py b/python/servo/devenv_commands.py index 9852558bce6..2f323010a18 100644 --- a/python/servo/devenv_commands.py +++ b/python/servo/devenv_commands.py @@ -40,6 +40,9 @@ class MachCommands(CommandBase): if check: params = ['check'] + params + if "--manifest-path" not in params: + params += ["--manifest-path", self.ports_servo_manifest()] + build_start = time() status = self.call_rustup_run(["cargo"] + params, env=env) elapsed = time() - build_start |