From 2b258e90df02448341c051ac21b84cf1c7c20428 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 18 Sep 2020 13:59:30 +0200 Subject: [lib] make canonical_path_name always absolute (fix #13031) --- clib/cUnix.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clib/cUnix.ml') 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) -- cgit v1.2.3