Skip to content

Commit

Permalink
fixup! Stop double pin of packages located in ./opam/opam
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Jan 15, 2025
1 parent 9e3bd2f commit f926ed6
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 4 deletions.
1 change: 0 additions & 1 deletion tests/reftests/lock.test
Original file line number Diff line number Diff line change
Expand Up @@ -386,7 +386,6 @@ Done.
opam-version: "2.0"
name: "silver"
depends: "foo"
### : Make sure silver isn't pinned twice
### opam pin -n old
Package silver does not exist, create as a NEW package? [Y/n] y
silver is now pinned to file://${BASEDIR}/old (version dev)
Expand Down
3 changes: 0 additions & 3 deletions tests/reftests/pin.test
Original file line number Diff line number Diff line change
Expand Up @@ -942,8 +942,5 @@ url.src: "git+file://${BASEDIR}/vcs-local#master"
opam-version: "2.0"
name: "double"
### opam pin -n double
This will pin the following packages: double, double. Continue? [Y/n] y
Package double does not exist, create as a NEW package? [Y/n] y
double is now pinned to file://${BASEDIR}/double (version dev)
[NOTE] Package double is already pinned to file://${BASEDIR}/double (version dev).
double is now pinned to file://${BASEDIR}/double (version dev)

0 comments on commit f926ed6

Please sign in to comment.