From a8b248096e5120f58157b0fc3bd06ca07118a8ab Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 6 Nov 2015 17:04:24 +0100
Subject: Fixing #4406 coqdep: No recursive search of ml (-I).

---
 tools/coqdep_common.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coqdep_common.ml b/tools/coqdep_common.ml
index c111137571..ca42c99470 100644
--- a/tools/coqdep_common.ml
+++ b/tools/coqdep_common.ml
@@ -548,7 +548,7 @@ let add_rec_dir add_file phys_dir log_dir =
 
 (** -I semantic: do not go in subdirs. *)
 let add_caml_dir phys_dir =
-  handle_unix_error (add_directory true add_caml_known phys_dir) []
+  handle_unix_error (add_directory false add_caml_known phys_dir) []
 
 
 let rec treat_file old_dirname old_name =
-- 
cgit v1.2.3