diff options
| author | Enrico Tassi | 2020-09-18 13:59:30 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-18 13:59:30 +0200 |
| commit | 2b258e90df02448341c051ac21b84cf1c7c20428 (patch) | |
| tree | 7d16f7030e9b1d96be23ae27811195e376354465 /clib/cUnix.ml | |
| parent | ff508baf8de691dfa94b9d65d7c77cf395127381 (diff) | |
[lib] make canonical_path_name always absolute (fix #13031)
Diffstat (limited to 'clib/cUnix.ml')
| -rw-r--r-- | clib/cUnix.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clib/cUnix.ml b/clib/cUnix.ml index 75ed73540e..3a10e33369 100644 --- a/clib/cUnix.ml +++ b/clib/cUnix.ml @@ -69,7 +69,7 @@ let canonical_path_name p = p' with Sys_error _ -> (* We give up to find a canonical name and just simplify it... *) - strip_path p + current ^ dirsep ^ strip_path p let make_suffix name suffix = if Filename.check_suffix name suffix then name else (name ^ suffix) |