From 608cd52b4dd79f900a79b2880cdb8afc5e032d75 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Tue, 6 Nov 2018 15:15:56 +0100
Subject: [PATCH] Remove opam version test in scripts/install_build_deps.sh

The Makefile does it already and its only caller
---
 scripts/install_build_deps.sh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh
index 26ebcb3c9..45d21b6dd 100755
--- a/scripts/install_build_deps.sh
+++ b/scripts/install_build_deps.sh
@@ -5,11 +5,6 @@ src_dir="$(dirname "$script_dir")"
 
 . "$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 add tezos --dont-select $opam_repository > /dev/null 2>&1