Update CONTRIBUTING.md after using git submodule and make (#507)

This commit is contained in:
Yang Song 2019-08-22 16:38:19 -07:00 committed by Bogdan Drutu
parent b13457b2a8
commit 85bfda0d7e
1 changed files with 2 additions and 2 deletions

View File

@ -70,14 +70,14 @@ $ git commit -m "Update javadoc for API."
Continuous integration builds the project, runs the tests, and runs multiple
types of static analysis.
Before running the build init repository dependencies by running `make init`.
Before running the build init repository dependencies by running `make init-git-submodules`.
Run the following commands to build, run tests and most static analysis, and
check formatting:
### OS X or Linux
`./gradlew clean assemble check verGJF`
`make test verify-format`
### Windows