Skip to content

Commit

Permalink
Normalize case of context root under Win32
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <[email protected]>
  • Loading branch information
nojb committed Jan 15, 2021
1 parent 13642e2 commit b2bdf1e
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion bin/common.ml
Original file line number Diff line number Diff line change
Expand Up @@ -86,9 +86,15 @@ let prefix_target common s = common.target_prefix ^ s

let instrument_with t = t.instrument_with

let normalize_cwd s =
if Sys.win32 then
Path.External.of_string (String.lowercase_ascii (Path.External.to_string s))
else
s

let set_dirs c =
if c.root.dir <> Filename.current_dir_name then Sys.chdir c.root.dir;
Path.set_root (Path.External.cwd ());
Path.set_root (normalize_cwd (Path.External.cwd ()));
Path.Build.set_build_dir (Path.Build.Kind.of_string c.build_dir)

let set_common_other ?log_file c ~targets =
Expand Down

0 comments on commit b2bdf1e

Please sign in to comment.