diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2020-08-06 18:27:59 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2020-08-06 18:27:59 -0400 |
| commit | 261cf4f64151e7ec0a8aa80b9d5277a40db3fc68 (patch) | |
| tree | 5de7c18caede6e271c4cabe87e1f1f6312fd9fe9 /python/servo | |
| parent | 08328c22d69d728ea7ed78434dbe8d15356738e0 (diff) | |
| download | servo-261cf4f64151e7ec0a8aa80b9d5277a40db3fc68.tar.gz servo-261cf4f64151e7ec0a8aa80b9d5277a40db3fc68.zip | |
Enable gstreamer media stack for UWP targets.
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/command_base.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index f25721a5652..d1ed5271b67 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -864,6 +864,7 @@ install them, let us know by filing a bug!") not target or ("armv7" in target and "android" in target) or "x86_64" in target + or "uwp" in target ): media_stack = "gstreamer" else: |