The unpac monorepo manager self-hosting as a monorepo using unpac
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Restore 4.08 compatibility

+7 -5
+7 -5
vendor/opam/cmdliner/src/tool/cmdliner_main.ml
··· 523 523 in 524 524 Cmd.make (Cmd.info "generic-completion" ~doc ~man) @@ 525 525 (* No let punning in < 4.13 *) 526 - let+ dry_run = dry_run and+ shells = shells_opt and+ update_opam_install 526 + let+ dry_run = dry_run and+ shells = shells_opt 527 + and+ update_opam_install = update_opam_install 527 528 and+ sharedir_pos0 = sharedir_pos0 in 528 529 install_generic_completion ~dry_run ~update_opam_install shells sharedir_pos0 529 530 ··· 546 547 in 547 548 Cmd.make (Cmd.info "tool-completion" ~doc ~man) @@ 548 549 (* No let punning in < 4.13 *) 549 - let+ dry_run = dry_run and+ shells = shells_opt and+ update_opam_install 550 + let+ dry_run = dry_run and+ shells = shells_opt 551 + and+ update_opam_install = update_opam_install 550 552 and+ toolnames = toolnames_posleft and+ sharedir = sharedir_poslast in 551 553 install_tool_completion 552 554 ~dry_run ~update_opam_install ~shells ~toolnames ~sharedir ··· 566 568 ] 567 569 in 568 570 Cmd.make (Cmd.info "tool-manpages" ~doc ~man) @@ 569 - let+ dry_run = dry_run and+ update_opam_install 571 + let+ dry_run = dry_run and+ update_opam_install = update_opam_install 570 572 and+ tools = tools_posleft and+ mandir = mandir_poslast in 571 573 install_tool_manpages ~dry_run ~update_opam_install ~tools ~mandir 572 574 ··· 588 590 ] 589 591 in 590 592 Cmd.make (Cmd.info "tool-support" ~doc ~man) @@ 591 - let+ dry_run = dry_run and+ update_opam_install and+ shells = shells_opt 592 - and+ tools = tools_posleft and+ sharedir = sharedir_opt 593 + let+ dry_run = dry_run and+ update_opam_install = update_opam_install 594 + and+ shells = shells_opt and+ tools = tools_posleft and+ sharedir = sharedir_opt 593 595 and+ mandir = mandir_opt and+ prefix = prefix in 594 596 install_tool_support 595 597 ~dry_run ~update_opam_install tools shells ~prefix ~sharedir ~mandir