Commit 37980b4f authored by Ralf Jung's avatar Ralf Jung

update README

parent 22c742cf
Pipeline #5960 passed with stage
in 9 minutes and 6 seconds
......@@ -25,7 +25,7 @@ After doing `git pull`, the development may fail to compile because of outdated
dependencies. To fix that, please run `opam update` followed by
`make build-dep`.
## Building Instructions
## Building
Run `make -jN` to build the full development, where `N` is the number of your
CPU cores.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment