Remove opam version test in scripts/install_build_deps.sh

The Makefile does it already and its only caller
This commit is contained in:
Pierre Boutillier 2018-11-06 15:15:56 +01:00 committed by Grégoire Henry
parent 3441a85ff3
commit 608cd52b4d
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2

View File

@ -5,11 +5,6 @@ src_dir="$(dirname "$script_dir")"
. "$script_dir"/version.sh . "$script_dir"/version.sh
if [ "$(opam --version)" != "$opam_version" ] ; then
echo "Unexpected opam version (found: $(opam -version), expected: $opam_version)"
exit 1
fi
opam repository set-url tezos --dont-select $opam_repository || \ opam repository set-url tezos --dont-select $opam_repository || \
opam repository add tezos --dont-select $opam_repository > /dev/null 2>&1 opam repository add tezos --dont-select $opam_repository > /dev/null 2>&1