Skip to content

Commit 1154d26

Browse files
committed
Tweak incorrect case in --cygwin-extra-packages
1 parent 598e346 commit 1154d26

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

master_changes.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ users)
2121
## Plugins
2222

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

2626
## Config report
2727

src/client/opamCommands.ml

+2
Original file line numberDiff line numberDiff line change
@@ -435,6 +435,8 @@ let init cli =
435435
bad_arg "no-cygwin-setup" "cygwin-extra-packages"
436436
| `none, Some _, Some _ ->
437437
bad_arg "cygwin-location" "cygwin-extra-packages"
438+
| `none, None, None ->
439+
None
438440
| (`internal | `none), None, pkgs ->
439441
Some (`internal
440442
(OpamStd.Option.default [] pkgs

0 commit comments

Comments
 (0)