Commit 03d0916f authored by Ralf Jung's avatar Ralf Jung
Browse files

debug

parent 2d923729
......@@ -51,7 +51,7 @@ while (( "$#" )); do # while there are arguments left
VERSION="$1" ; shift
# Check if the pin is already set
read -a PIN <<< $(opam pin list | (egrep "^$PACKAGE[. ]")
read -a PIN <<< $(opam pin list | (egrep "^$PACKAGE[. ]"))
echo "Detected pin: $PIN"
echo "${PIN[1]}"
echo "${PIN[2]}"
......
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