added an utility function

[helm.git] / helm / software / components / extlib / hExtlib.mli

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index 99727331a601c6fc90f7bba439bedcf379ae44d9..815c2052665c6d6a4587612e6ceee38c6da88f0a 100644 (file)
--- a/helm/software/components/extlib/hExtlib.mli
+++ b/helm/software/components/extlib/hExtlib.mli
@@ -34,6 +34,7 @@ val unopt: 'a option -> 'a  (** @raise Failure *)
 val is_dir: string -> bool  (** @return true if file is a directory *)
 val writable_dir: string -> bool  (** @return true if the directory is writable *)
 val is_regular: string -> bool  (** @return true if file is a regular file *)
+val is_executable: string -> bool  (** @return true if file is executable *)
 val mkdir: string -> unit (** create dir and parents. @raise Failure *)
 val tilde_expand: string -> string  (** bash-like (head) tilde expansion *)
 val safe_remove: string -> unit (** removes a file if it exists *)