diff options
| author | Pierre-Marie Pédrot | 2020-09-28 14:04:52 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-28 14:04:52 +0200 |
| commit | b9f385cb43de4c463e649f8f6e33f32288e88a6c (patch) | |
| tree | 56d34e30c27d90e32463bb613d97549bc515e143 /clib/cUnix.ml | |
| parent | 9c2228ff011dc6188b70084fa1e1a5158affcf24 (diff) | |
| parent | 2b258e90df02448341c051ac21b84cf1c7c20428 (diff) | |
Merge PR #13053: [lib] make canonical_path_name always absolute (fix #13031)
Ack-by: SkySkimmer
Reviewed-by: ppedrot
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) |