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 7e32362 commit 3435530
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 3435530

Please sign in to comment.