Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 2a1230ff57
Fetching contributors…

Cannot retrieve contributors at this time

11 lines (8 sloc) 0.39 kB
(* Misc support *)
let ensure_directory ?(what="Unknown") path =
if not (Sys.file_exists path && Sys.is_directory path) then
Log.failf "Pathname for %s is not a directory: %S" what path
let ensure_empty_directory ?(what="Unknown") path =
ensure_directory ~what:what path;
if Sys.readdir path <> [| |] then
Log.failf "Pathname for %s is not an empty directory: %S" what path
Jump to Line
Something went wrong with that request. Please try again.