diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-05-17 11:59:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-17 11:59:16 -0400 |
| commit | fb875f822ef3875be7f5dd6f80ffadc500bab834 (patch) | |
| tree | 5b4eb36b6fdb581e6073665acc6715b02b75add7 /python/mach_bootstrap.py | |
| parent | 2cebf893c9f0197c714b874111335642adb123b2 (diff) | |
| parent | 335b49e80ea8eb0d9664bda429dae09abf9dd5fd (diff) | |
| download | servo-fb875f822ef3875be7f5dd6f80ffadc500bab834.tar.gz servo-fb875f822ef3875be7f5dd6f80ffadc500bab834.zip | |
Auto merge of #23403 - jdm:homebrew-tap, r=Manishearth
Add gst-plugins-bad homebrew formula that enables webrtc.
This forks the upstream homebrew formula for gst-plugins-bad and re-adds two important (previously optional) dependencies. It also adds a script to regenerate the formula from upstream to make it as easy as possible to update gstreamer in the future.
<!-- 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/23403)
<!-- Reviewable:end -->
Diffstat (limited to 'python/mach_bootstrap.py')
0 files changed, 0 insertions, 0 deletions