diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-25 07:51:18 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 07:51:18 -0400 |
| commit | 4f45b3bbe1b68ea39615bf8edbc03a81a348c8c4 (patch) | |
| tree | 2d8c6b9649f66e3c7922deb6ce0ab3df9a19bef2 /python | |
| parent | a1c911f07f6f7f23e2b4b4865a225f8b9bea7d76 (diff) | |
| parent | ea6cff4b8d173c3d10ff06e37702ca1cfe0aa1d6 (diff) | |
| download | servo-4f45b3bbe1b68ea39615bf8edbc03a81a348c8c4.tar.gz servo-4f45b3bbe1b68ea39615bf8edbc03a81a348c8c4.zip | |
Auto merge of #24280 - ferjm:webm, r=jdm
Allow playing video/webm on Windows
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
This makes video/webm play on non-UWP Windows. I couldn't find the equivalent gstmatroska.dll on our GStreamer binaries for UWP.
<!-- 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/24280)
<!-- Reviewable:end -->
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/build_commands.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index c78bbc29019..9be65832c8e 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -892,6 +892,7 @@ def package_gstreamer_dlls(env, servo_exe_dir, target, uwp): if not uwp: gst_dlls += [ + "gstmatroska.dll", "gstnice.dll", "gstogg.dll", "gstopengl.dll", |