diff options
Diffstat (limited to 'generator/.depend')
-rw-r--r-- | generator/.depend | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generator/.depend b/generator/.depend index 4ea8040a..d96d4f39 100644 --- a/generator/.depend +++ b/generator/.depend @@ -34,10 +34,12 @@ generator_checks.cmx: generator_utils.cmx generator_types.cmx \ generator_actions.cmx generator_c.cmo: generator_utils.cmi generator_types.cmo \ generator_structs.cmi generator_pr.cmi generator_optgroups.cmo \ - generator_docstrings.cmo generator_api_versions.cmi generator_actions.cmi + generator_events.cmo generator_docstrings.cmo generator_api_versions.cmi \ + generator_actions.cmi generator_c.cmx: generator_utils.cmx generator_types.cmx \ generator_structs.cmx generator_pr.cmx generator_optgroups.cmx \ - generator_docstrings.cmx generator_api_versions.cmx generator_actions.cmx + generator_events.cmx generator_docstrings.cmx generator_api_versions.cmx \ + generator_actions.cmx generator_xdr.cmo: generator_utils.cmi generator_types.cmo \ generator_structs.cmi generator_pr.cmi generator_optgroups.cmo \ generator_docstrings.cmo generator_actions.cmi |