]> matita.cs.unibo.it Git - helm.git/blobdiff - components/extlib/hExtlib.mli
fixed some file permissions (anybody can rebuild a published devel)
[helm.git] / components / extlib / hExtlib.mli
index 815c2052665c6d6a4587612e6ceee38c6da88f0a..5f6626b145799af416475cbc407776bab99c62c0 100644 (file)
@@ -41,6 +41,7 @@ val safe_remove: string -> unit (** removes a file if it exists *)
 val safe_rmdir: string -> unit (** removes a dir if it exists and is empty *)
 val is_dir_empty: string -> bool (** checks if the dir is empty *)
 val rmdir_descend: string -> unit (** rmdir -p *)
+val chmod: int -> string -> unit (** chmod *)
 
   (** find all _files_ whose name matches test under a filesystem root.
    * Test is passed the filename path relative to the given filesystem root *)