diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2020-06-30 17:38:18 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2020-06-30 17:38:18 +0200 |
commit | c2968fa2e56ecfb0b39192b0779d8fb6f0e31da6 (patch) | |
tree | 8fc6ce121f651904454b1db8a73df31a0bded18e /python/servo/post_build_commands.py | |
parent | 27f439a71c426330e61ef41ea4d72cd720a68069 (diff) | |
download | servo-c2968fa2e56ecfb0b39192b0779d8fb6f0e31da6.tar.gz servo-c2968fa2e56ecfb0b39192b0779d8fb6f0e31da6.zip |
Fix doc build
Diffstat (limited to 'python/servo/post_build_commands.py')
-rw-r--r-- | python/servo/post_build_commands.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 9b38c584fd0..98fadae15c7 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -272,7 +272,9 @@ class PostBuildCommands(CommandBase): features += self.pick_media_stack(media_stack, target) - returncode = self.run_cargo_build_like_command("doc", params, features=features, **kwargs) + env = self.build_env(target=target, is_build=True, features=features) + + returncode = self.run_cargo_build_like_command("doc", params, features=features, env=env, **kwargs) if returncode: return returncode |