diff options
| -rw-r--r-- | BUILDING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/BUILDING.md b/BUILDING.md index c57905b75a..618427eaef 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -179,10 +179,10 @@ If you are running tests prior to submitting a Pull Request, the recommended command is: ```console -$ make test +$ make -j4 test ``` -`make test` does a full check on the codebase, including running linters and +`make -j4 test` does a full check on the codebase, including running linters and documentation tests. Optionally, continue below. |