https://gitlab.com/tezos/tezos
Raw File
Tip revision: 124076c722c4512ece34a2fcdbfb2a1f06b2ce62 authored by Thomas Letan on 06 April 2022, 13:39:12 UTC
Proto,tx_rollup: Carbonate the verification of a proof
Tip revision: 124076c
opam-unpin.sh
#!/bin/sh

set -e

script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"

#shellcheck source=scripts/opam-remove.sh
. "$script_dir"/opam-remove.sh

# make sure this variable is declared
packages=${packages:?}

echo
echo "## Unpinning tezos packages..."

# here we cannot use double quotes because otherwise the list of packages
# will be intepreted as a string and not as a list of strings leading to
# an error.
# shellcheck disable=SC2086
opam pin remove $packages > /dev/null 2>&1
back to top