diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2024-01-07 22:25:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-07 21:25:22 +0000 |
| commit | 79a0f76d26d43c7f6e38a60fbe2ec6bed1510543 (patch) | |
| tree | 4974b179edfafe9f22b93b5831f6ce7638cb99c3 /python/servo/__init__.py | |
| parent | d0ce48db06c121028e723ad3375186ab0fb961da (diff) | |
| download | servo-79a0f76d26d43c7f6e38a60fbe2ec6bed1510543.tar.gz servo-79a0f76d26d43c7f6e38a60fbe2ec6bed1510543.zip | |
Fix the build on Ubuntu 20.04 (#31019)
Ubuntu 20.04 doesn't have a new enough version of GStreamer, so
automatically disable media when running on that platform.
This also cleans up the media detection a bit, putting the result in a
`enable-media` variable and moving some of the logic into the build
scripts themselves rather than the platform module.
Diffstat (limited to 'python/servo/__init__.py')
0 files changed, 0 insertions, 0 deletions