X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.ml;h=d1b0efac4e56e1e0e7e52b57d7e7424d3c8f10c8;hb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;hp=c4956754655a93101b4e2f0ed7cdbaeb11b348a7;hpb=315ceff80b09b76959a067fa2f3288f22d2e55da;p=goals.git

diff --git a/src/utils.ml b/src/utils.ml
index c495675..d1b0efa 100644
--- 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