From 97879ca55ccc477fa63af7db3eb71b0e90051cc2 Mon Sep 17 00:00:00 2001 From: Kate Date: Wed, 22 Jan 2025 21:32:22 +0000 Subject: [PATCH] Do not ask to install pin-depends twice --- src/client/opamAuxCommands.ml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/client/opamAuxCommands.ml b/src/client/opamAuxCommands.ml index cbcc6851b5d..5bb3cb18d02 100644 --- a/src/client/opamAuxCommands.ml +++ b/src/client/opamAuxCommands.ml @@ -494,12 +494,6 @@ let autopin st ?(simulate=false) ?quiet ?locked ?recurse ?subpath else OpamUpdate.dev_packages st ~working_dir:OpamPackage.Set.empty already_pinned in - let st = - if OpamClientConfig.(!r.ignore_pin_depends) then st else - OpamPackage.Set.fold (fun nv st -> - OpamPinCommand.handle_pin_depends st nv (OpamSwitchState.opam st nv)) - (OpamPackage.Set.union pins already_pinned_set) st - in st, atoms let check_and_revert_sandboxing root config =