diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-22 13:26:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-22 13:26:07 -0500 |
commit | 10a63cc9d41acb535353436cf276eac5fdebb971 (patch) | |
tree | dd296ade3913b75a9f383e68cc3b1c6140ce751f /components/gfx/font_cache_task.rs | |
parent | 1b524ead1e2626fe0152e049f634f8705ee187e2 (diff) | |
parent | 81c439a8990caf498bd3318cbe5f51c33830f7e3 (diff) | |
download | servo-10a63cc9d41acb535353436cf276eac5fdebb971.tar.gz servo-10a63cc9d41acb535353436cf276eac5fdebb971.zip |
Auto merge of #24668 - tuncer:configure-media-stack-v2, r=asajeffrey
Allow build to explicitly set the media stack
<!-- Please describe your changes on the following line: -->
_[This is based on @asajeffrey's work in #23423, and is a rebase and continuation of that branch]_
This allows `./mach build` to override the media stack, which is currently hard-wired based on the target. To skip gstreamer, run `./mach build -d --media-stack=dummy`.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #23050 (GitHub issue number if applicable)
<!-- Either: -->
- [x] These changes do not require tests because it's build infra
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/gfx/font_cache_task.rs')
0 files changed, 0 insertions, 0 deletions