Skip to content

Commit

Permalink
pin: update source of (version) pinned directory (#3726)
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Mar 27, 2019
1 parent 328c259 commit ca7de52
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions src/client/opamAction.ml
Expand Up @@ -148,8 +148,14 @@ let download_package st nv =
else
let dir = OpamSwitchState.source_dir st nv in
if OpamPackage.Set.mem nv st.pinned &&
OpamFilename.exists_dir dir
then Done None
OpamFilename.exists_dir dir &&
OpamStd.Option.Op.(
OpamPinned.find_opam_file_in_source nv.name dir >>=
OpamFile.OPAM.read_opt >>=
OpamFile.OPAM.version_opt)
= Some nv.version
then
Done None
else
(OpamUpdate.cleanup_source st
(OpamPackage.Map.find_opt nv st.installed_opams)
Expand Down

0 comments on commit ca7de52

Please sign in to comment.