From afd2a292d5774aa08198615a20dd9db3753826d1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 20 Sep 2001 12:32:30 +0000
Subject: On ignore les répertoires invisibles dans all_subdirs

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

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index bb3c711307..81dda51f9d 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -30,7 +30,8 @@ let all_subdirs root =
     try
       while true do
 	let f = readdir dirh in
-	if f <> "." && f <> ".." && (not Coq_config.local or (f <> "CVS")) then
+	if f <> "" && f.[0] <> '.' && (not Coq_config.local or (f <> "CVS"))
+        then
 	  let file = Filename.concat dir f in
 	  try 
 	    if (stat file).st_kind = S_DIR then begin
-- 
cgit v1.2.3