Fix the URL of getting-started in build-infer.sh (#1415)

Summary:
cf. Update README.md https://github.com/facebook/infer/issues/1242

Pull Request resolved: https://github.com/facebook/infer/pull/1415

Reviewed By: martintrojer

Differential Revision: D27264392

Pulled By: jvillard

fbshipit-source-id: 7d373aef5
master
HARUYAMA Seigo 4 years ago committed by Facebook GitHub Bot
parent 30de9be354
commit 41366b5d7c

@ -177,7 +177,7 @@ if [ "$BUILD_CLANG" == "yes" ]; then
echo " To speed this along, you are encouraged to use a release of" echo " To speed this along, you are encouraged to use a release of"
echo " Infer instead:" echo " Infer instead:"
echo "" echo ""
echo " http://fbinfer.com/docs/getting-started.html" echo " http://fbinfer.com/docs/getting-started"
echo "" echo ""
echo " If you are only interested in analyzing Java programs, simply" echo " If you are only interested in analyzing Java programs, simply"
echo " run this script with only the \"java\" argument:" echo " run this script with only the \"java\" argument:"

Loading…
Cancel
Save