X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=goaljobs.ml;h=1aa8c0d9fd9562ba52aa04a3ea7d540c15248ccf;hb=7967057ada774e1b953de38a8d73f6009ce602ef;hp=4f99de4a14a1a427b086c283a1b142ee8d981dea;hpb=55c3a7d9b2bffa53b519be5a319565e311f8d7e6;p=goaljobs.git

diff --git a/goaljobs.ml b/goaljobs.ml
index 4f99de4..1aa8c0d 100644
--- a/goaljobs.ml
+++ b/goaljobs.ml
@@ -21,6 +21,9 @@ open Printf
 
 open Goaljobs_config
 
+let (//) = Filename.concat
+let quote = Filename.quote
+
 type goal_result_t = Goal_OK | Goal_failed of string
 exception Goal_result of goal_result_t