Implement // and quote.

[goaljobs.git] / goaljobs.ml

diff --git a/goaljobs.ml b/goaljobs.ml
index 4f99de4..1aa8c0d 100644 (file)
--- 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