Implement -include (optional include) command.

[goals.git] / src / utils.ml

diff --git a/src/utils.ml b/src/utils.ml
index c495675..d1b0efa 100644 (file)
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -82,3 +82,6 @@ let trimr ?(test = isspace) str =
 
 let trim ?(test = isspace) str =
   trimr ~test (triml ~test str)
+
+let absolute_path path =
+  if not (Filename.is_relative path) then path else Sys.getcwd () // path