From 0e93a1dbdec8cbaaae199d79505342d88aee0f35 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Wed, 9 Nov 2016 11:40:01 +0100 Subject: [PATCH] Use latest ocplib-json-typed. --- scripts/install_build_deps.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index db0d95dca..c9bd2ef3e 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -37,10 +37,10 @@ set -e set -x if [ ! -z "$pin" ] ; then - opam pin --yes remove --no-action --dev-repo ocplib-json-typed || true opam pin --yes remove --no-action --dev-repo ocplib-resto || true opam pin --yes add --no-action --dev-repo sodium opam pin --yes add --no-action --dev-repo ocp-ocamlres + opam pin --yes add --no-action --dev-repo ocplib-json-typed opam pin --yes add --no-action --dev-repo ocplib-resto opam pin --yes add --no-action tezos-deps src fi @@ -52,7 +52,7 @@ fi if [ ! -z "$install" ] ; then if opam list --installed tezos-deps ; then - opam upgrade $(opam list -s --required-by tezos-deps --test | grep -ve '^ocaml *$') + opam upgrade $(opam list -s --required-by tezos-deps | grep -ve '^ocaml *$') else opam install tezos-deps fi