diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-11 23:15:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-11 23:15:38 -0400 |
| commit | 79f02919244201e05894176e1599e45b2ac182a1 (patch) | |
| tree | 116501dd85e93f4802e250320afa0f12e47f2254 /components/script/dom/htmlmediaelement.rs | |
| parent | bf192caf4baf72b81143e4127de8a6b3ffcc917c (diff) | |
| parent | f0d8e8af49639678d1bd4d99855ae70737615a7a (diff) | |
| download | servo-79f02919244201e05894176e1599e45b2ac182a1.tar.gz servo-79f02919244201e05894176e1599e45b2ac182a1.zip | |
Auto merge of #21912 - servo:lighter-bootstrap, r=jdm
Add `--build` and `--emulator-x86` to `./mach bootstrap-android`
This allows not downloading dependencies that are not needed for a particular task.
<!-- 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/21912)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
0 files changed, 0 insertions, 0 deletions