From 95e8234b7a3e3850710a18d26f6dd561497e25d0 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 18 Apr 2013 16:56:05 +0000
Subject: Coqdep: add an -exclude-dir option (wish mentionned in #3025)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16431 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep_boot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/coqdep_boot.ml')

diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index 19aba41d3..15fcdc600 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -26,7 +26,7 @@ let rec parse = function
        (* To solve conflict (e.g. same filename in kernel and checker)
           we allow to state an explicit order *)
        add_dir add_known r [];
-       norecdir_list:=r::!norecdir_list;
+       norec_dirs:=r::!norec_dirs;
        parse ll
   | f :: ll -> treat_file None f; parse ll
   | [] -> ()
-- 
cgit v1.2.3