X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=goaljobs.ml;fp=goaljobs.ml;h=6875ca591929eeb2380593110606adac5f17f781;hb=12f3afe1b516548612c67d9d25d08e5bf018c2f9;hp=bb7141abadc9907a1dfd5dd95642505acfcbcaef;hpb=a613a9cb7d016e728a45b81ecdb49097832ba924;p=goaljobs.git

diff --git a/goaljobs.ml b/goaljobs.ml
index bb7141a..6875ca5 100644
--- a/goaljobs.ml
+++ b/goaljobs.ml
@@ -391,6 +391,11 @@ let goal_file_exists filename =
     let msg = sprintf "file '%s' required but not found" filename in
     goal_failed msg
   )
+let goal_directory_exists path =
+  if not (directory_exists path) then (
+    let msg = sprintf "directory '%s' required but not found" path in
+    goal_failed msg
+  )
 let goal_file_newer_than f1 f2 =
   if not (file_newer_than f1 f2) then (
     let msg = sprintf "file %s is required to be newer than %s" f1 f2 in