diff --git a/README.md b/README.md index 92f69e042d98df1d97dccadb77432fa5eced29c3..251213b6e443d4e16f0f3aeefd75017310c83d47 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,8 @@ dependencies. To fix that, please run `opam update` followed by ## Building Instructions -Run `make` to build the full development. +Run `make -jN` to build the full development, where `N` is the number of your +CPU cores. ## Structure