Commit aee446e7 authored by Ralf Jung's avatar Ralf Jung
Browse files

explain debug output a bit

parent fe93ded0
......@@ -108,7 +108,8 @@ fi
# Also, we have to list the packages we pinned explicitly here, or else opam fails to upgrade them if they
# are pinned to a git branch (it ignores changes in the git branch) -- see opam issue #3727.
if ! opam upgrade -y build-dep/ $PINNED_PACKAGES; then
echo && opam pin && echo && opam list && echo
echo "opam state:"
opam pin && opam list
panic "'opam upgrade build-dep/ $PINNED_PACKAGES' failed"
fi
opam upgrade -y
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment