From 15178dda8118c3f0fcd9c9292e2813a71b7af57a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 28 Nov 2000 17:31:46 +0000
Subject: Hack pour contourner CVS en local dans la recherche rcursive de
 load_path

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

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index 5da2d9f357..f6da6f8661 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -28,7 +28,7 @@ let all_subdirs root =
     try
       while true do
 	let f = readdir dirh in
-	if f <> "." && f <> ".." then
+	if f <> "." && f <> ".." && (not Coq_config.local or (f <> "CVS")) then
 	  let file = Filename.concat dir f in
 	  if (stat file).st_kind = S_DIR then begin
 	    let newrel = Filename.concat rel f in
-- 
cgit v1.2.3