Skip to content
Snippets Groups Projects
Commit cae2790d authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Kernel] fix usage of is_relative in JCDB paths

parent 309a1295
No related branches found
No related tags found
No related merge requests found
......@@ -136,7 +136,7 @@ let parse_entry jcdb_dir r =
let filename = r |> member "file" |> to_string in
let dirname = r |> member "directory" |> to_string_option |> Extlib.opt_conv jcdb_dir in
let dirname =
if Filepath.is_relative dirname then Filename.concat jcdb_dir dirname
if Filename.is_relative dirname then Filename.concat jcdb_dir dirname
else dirname
in
let dirname = Filepath.normalize dirname in
......@@ -164,7 +164,7 @@ let parse_entry jcdb_dir r =
in
(* conversion for '-I' flags *)
let convert_path arg =
if Filepath.is_relative arg then Filename.concat dirname arg
if Filename.is_relative arg then Filename.concat dirname arg
else arg
in
let convert_define arg =
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment