From 6202dc54bcf268d6e5e20d2bc2e6ceb584636acb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 9 Mar 2017 14:36:21 +0100 Subject: [PATCH] Shell: fix the last known memory leak... --- scripts/install_build_deps.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index 087f0be3c..cb93054f0 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -50,6 +50,7 @@ if "$pin"; then 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 --dev-repo cohttp opam pin add typerex-build --dev --no-action ## Force opam to take account of the new `tezos-deps.opam` opam pin --yes remove tezos-deps