Skip to content

Commit

Permalink
doc: more detail about make bench (#8071)
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <alizter@gmail.com>
  • Loading branch information
Alizter authored Jul 8, 2023
1 parent 615a649 commit 4256431
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion doc/hacking.rst
Original file line number Diff line number Diff line change
Expand Up @@ -686,7 +686,8 @@ Dune Bench
----------
You can benchmark Dune's performance by running `make bench`. This will run a
subset of the Duniverse.
subset of the Duniverse. If you are running the bench locally, make sure that
you bootstrap since that is the executable that the bench will run.
Inline Benchmarks
-----------------
Expand Down

0 comments on commit 4256431

Please sign in to comment.