summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/ocamldep.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamldep.ml b/tools/ocamldep.ml
index 66d113c61..13b55fbeb 100644
--- a/tools/ocamldep.ml
+++ b/tools/ocamldep.ml
@@ -117,7 +117,7 @@ let find_dependency target_kind modname (byt_deps, opt_deps) =
if !all_dependencies then
match target_kind with
| MLI -> [basename ^ ".cmi"]
- | ML -> [basename ^ ".cmi"; basename ^ ".cmo"]
+ | ML -> [basename ^ ".cmi";]
else
(* again, make-specific hack *)
[basename ^ (if !native_only then ".cmx" else ".cmo")] in