Skip to content

Commit

Permalink
Don't allow make to become shadowed
Browse files Browse the repository at this point in the history
Deals with old installations of mingw64, in particular on GitHub
Actions.
  • Loading branch information
dra27 committed Jun 5, 2024
1 parent b1d54cc commit 14dcc6d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/state/opamEnv.ml
Original file line number Diff line number Diff line change
Expand Up @@ -307,7 +307,7 @@ let rezip_to_string ?insert z =
join_var (rezip ?insert z)

let cygwin_non_shadowed_programs =
["bash.exe"; "sort.exe"; "tar.exe"]
["bash.exe"; "sort.exe"; "tar.exe"; "make.exe"]

let apply_op_zip ~sepfmt var op arg (rl1,l2 as zip) =
let arg = transform_format ~sepfmt var arg in
Expand Down

0 comments on commit 14dcc6d

Please # to comment.