From f4c2950671c9db2fbe3870911d9b6034febd4b2c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 12 Sep 2003 19:25:53 +0000
Subject: Message pour les erreurs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4382 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 45353d7f99..c287dbbfd4 100755
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -369,10 +369,7 @@ let all_subdirs root_dir log_dir =
   let l = ref [(root_dir,[log_dir])] in
   let add f = l := f :: !l in
   let rec traverse phys_dir dir =
-    let dirh = 
-      try opendir phys_dir
-      with Unix_error _ -> invalid_arg "all_subdirs" 
-    in
+    let dirh = handle_unix_error opendir phys_dir in
     try
       while true do
 	let f = readdir dirh in
-- 
cgit v1.2.3