From 099821f27921d31fc0a81c06324ea397e93d61a8 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 27 Jan 2016 02:26:02 -0800 Subject: [PATCH] suggest correct package name in pin command Summary: public This is more robust against infer being pinned from a directory not named "infer/". Reviewed By: jberdine Differential Revision: D2864987 fb-gh-sync-id: ec2b1dd --- m4/ac_assert_ocaml_pkg.m4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/m4/ac_assert_ocaml_pkg.m4 b/m4/ac_assert_ocaml_pkg.m4 index 4450e7ee3..14755f667 100644 --- a/m4/ac_assert_ocaml_pkg.m4 +++ b/m4/ac_assert_ocaml_pkg.m4 @@ -40,7 +40,7 @@ AC_DEFUN([AC_ASSERT_OCAML_PKG], If you are using opam, please run opam update - opam pin add --yes --no-action . + opam pin add --yes --no-action infer . opam install --deps-only infer]) ]) ])