From 41366b5d7c9b8174bfbd7cc74f5bc5af40c53bc6 Mon Sep 17 00:00:00 2001 From: HARUYAMA Seigo Date: Tue, 23 Mar 2021 09:36:48 -0700 Subject: [PATCH] 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 --- build-infer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-infer.sh b/build-infer.sh index c01e3ee69..11436398b 100755 --- a/build-infer.sh +++ b/build-infer.sh @@ -177,7 +177,7 @@ if [ "$BUILD_CLANG" == "yes" ]; then echo " To speed this along, you are encouraged to use a release of" echo " Infer instead:" echo "" - echo " http://fbinfer.com/docs/getting-started.html" + echo " http://fbinfer.com/docs/getting-started" echo "" echo " If you are only interested in analyzing Java programs, simply" echo " run this script with only the \"java\" argument:"