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
master
Jules Villard 9 years ago committed by facebook-github-bot-7
parent 162dc42b5b
commit 099821f279

@ -40,7 +40,7 @@ AC_DEFUN([AC_ASSERT_OCAML_PKG],
If you are using opam, please run If you are using opam, please run
opam update opam update
opam pin add --yes --no-action . opam pin add --yes --no-action infer .
opam install --deps-only infer]) opam install --deps-only infer])
]) ])
]) ])

Loading…
Cancel
Save