Revision 60b977cdbbd0968f85bfb2f0b13de1e1315a57df authored by Romain Bardou on 13 January 2020, 16:23:14 UTC, committed by Benjamin Canou on 17 February 2020, 10:35:40 UTC
1 parent f29e2ff
opam-unpin.sh
#! /bin/sh
set -e
script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")"
src_dir="$(dirname "$script_dir")"
. "$script_dir"/opam-remove.sh
echo
echo "## Unpinning tezos packages..."
opam pin remove $packages > /dev/null 2>&1
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...