From d2600795dbd868ba182962aa1db5668d8e6886aa Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 20 Dec 2018 12:46:15 -0800 Subject: [PATCH] [opam] correct use of `--locked` Summary: Turns out we were using it wrong and that's why the lock wasn't working. See https://github.com/ocaml/opam/issues/3694 Reviewed By: ezgicicek Differential Revision: D13529136 fbshipit-source-id: 66c781e5f --- build-infer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-infer.sh b/build-infer.sh index 1c276278f..f80a0f1b3 100755 --- a/build-infer.sh +++ b/build-infer.sh @@ -129,7 +129,7 @@ install_opam_deps () { if [ "$USE_OPAM_LOCK" == yes ]; then locked=--locked fi - opam install --deps-only $locked infer "$INFER_ROOT" + opam install --deps-only infer "$INFER_ROOT" $locked } echo "initializing opam... " >&2