diff options
Diffstat (limited to 'src/util.ml')
| -rw-r--r-- | src/util.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util.ml b/src/util.ml index 2bac3d6..afa0ef3 100644 --- a/src/util.ml +++ b/src/util.ml @@ -25,3 +25,6 @@ let substitute_default o d = match o with | None -> d | Some v -> v + +let absolute_path relative_path = + FilePath.make_absolute (Sys.getcwd ()) relative_path |