X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FhExtlib.ml;h=9e2277b43041b9f551a67d7ad422369475818d2b;hb=95c552c01db5a8822a4ea14a59f4ca5ce21b7c84;hp=bf3bb2574b7608327129d235974d74f7c4d0f48f;hpb=a9be219c90cccb6c19abbbf3bdf8b806810d2d5c;p=helm.git

diff --git a/helm/software/components/extlib/hExtlib.ml b/helm/software/components/extlib/hExtlib.ml
index bf3bb2574..9e2277b43 100644
--- a/helm/software/components/extlib/hExtlib.ml
+++ b/helm/software/components/extlib/hExtlib.ml
@@ -236,6 +236,9 @@ let is_executable fname =
     (stat.Unix.st_perm land 0o001 > 0)
   with Unix.Unix_error _ -> false
 
+let chmod mode filename =
+   Unix.chmod filename mode
+
 let mkdir path =
   let components = split ~sep:'/' path in
   let rec aux where = function
@@ -244,21 +247,18 @@ let mkdir path =
         let path =
           if where = "" then piece else where ^ "/" ^ piece in
         (try
-          Unix.mkdir path 0o775
+          Unix.mkdir path 0o755; chmod 0o2775 path 
         with 
         | Unix.Unix_error (Unix.EEXIST,_,_) -> ()
         | Unix.Unix_error (e,_,_) -> 
             raise 
               (Failure 
-                ("Unix.mkdir " ^ path ^ " 0o775 :" ^ (Unix.error_message e))));
+                ("Unix.mkdir " ^ path ^ " 0o2775 :" ^ (Unix.error_message e))));
         aux path tl
   in
   let where = if path.[0] = '/' then "/" else "" in
   aux where components
 
-let chmod mode filename =
-   Unix.chmod filename mode
-
 (** {2 Filesystem} *)
 
 let input_file fname =