coqdep: Warning about ml file clashes, keeping the file corresponding

to the first -I option.

Fortunately, with -I option, only one file can be found by occurrence
of the option, so on the contrary of -Q/-R options for v files, the
order is not file-system dependent.

1 files changed, 3 insertions, 3 deletions

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 08c42b7eb..f90620b2f 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -495,9 +495,9 @@ let coqdep () =
       (Envars.xdg_dirs (fun x -> Pp.msg_warning (Pp.str x)));
     List.iter (fun s -> add_dir add_coqlib_known s []) Envars.coqpath;
   end;
-  List.iter (fun (f,d) -> add_mli_known f d) !mliAccu;
-  List.iter (fun (f,d) -> add_mllib_known f d) !mllibAccu;
-  List.iter (fun (f,_,d) -> add_ml_known f d) !mlAccu;
+  List.iter (fun (f,d) -> add_mli_known f d ".mli") !mliAccu;
+  List.iter (fun (f,d) -> add_mllib_known f d ".mllib") !mllibAccu;
+  List.iter (fun (f,suff,d) -> add_ml_known f d suff) !mlAccu;
   warning_mult ".mli" iter_mli_known;
   warning_mult ".ml" iter_ml_known;
   if !option_sort then begin sort (); exit 0 end;