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/post_build_commands.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/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 56394bbb3e3..0af43c9f199 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -266,7 +266,7 @@ class PostBuildCommands(CommandBase): else: copy2(full_name, destination) - env = self.build_env(is_build=True) + env = self.build_env() returncode = self.run_cargo_build_like_command("doc", params, env=env, **kwargs) if returncode: return returncode |