From 79a0f76d26d43c7f6e38a60fbe2ec6bed1510543 Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Sun, 7 Jan 2024 22:25:22 +0100 Subject: 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. --- python/servo/post_build_commands.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'python/servo/post_build_commands.py') 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 -- cgit v1.2.3