Skip to content

Commit

Permalink
Merge pull request #5964 from dra27/tweak-cygwin-packages
Browse files Browse the repository at this point in the history
Tweak incorrect case in `--cygwin-extra-packages`
  • Loading branch information
kit-ty-kate authored May 20, 2024
2 parents 598e346 + 1154d26 commit 391333d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 1 addition & 1 deletion master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ users)
## Plugins

## Init
* ◈ New option `opam init --cygwin-extra-packages=CYGWIN_PKGS --cygwin-internal-install`, to specify additional packages for internal Cygwin [#5930 @moyodiallo - fix #5834]
* ◈ New option `opam init --cygwin-extra-packages=CYGWIN_PKGS --cygwin-internal-install`, to specify additional packages for internal Cygwin [#5930, #5964 @moyodiallo - fix #5834]

## Config report

Expand Down
2 changes: 2 additions & 0 deletions src/client/opamCommands.ml
Original file line number Diff line number Diff line change
Expand Up @@ -435,6 +435,8 @@ let init cli =
bad_arg "no-cygwin-setup" "cygwin-extra-packages"
| `none, Some _, Some _ ->
bad_arg "cygwin-location" "cygwin-extra-packages"
| `none, None, None ->
None
| (`internal | `none), None, pkgs ->
Some (`internal
(OpamStd.Option.default [] pkgs
Expand Down

0 comments on commit 391333d

Please # to comment.