Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
stop recording deps in Action_builder.contents
PR ocaml#9552 changed the semantics of Action_builder.contents so that it records a dependency. The Coq rules were relying on the previous behaviour of not recording a dependency in order to generate a build plan. This caused issue ocaml#10149 to appear. This PR fixes ocaml#10149 by removing the dependency being recorded in Action_builder.contents matching the previous semantics. Signed-off-by: Ali Caglayan <alizter@gmail.com>
- Loading branch information