diff options
Diffstat (limited to 'python/servo/post_build_commands.py')
| -rw-r--r-- | python/servo/post_build_commands.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 0af43c9f199..bd9382b55a1 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -266,6 +266,11 @@ class PostBuildCommands(CommandBase): else: copy2(full_name, destination) + # Documentation build errors shouldn't cause the entire build to fail. This + # prevents issues with dependencies from breaking our documentation build, + # with the downside that it hides documentation issues. + params.insert(0, "--keep-going") + env = self.build_env() returncode = self.run_cargo_build_like_command("doc", params, env=env, **kwargs) if returncode: |