Skip to content

Commit

Permalink
'make bench' target that prints result to stdout
Browse files Browse the repository at this point in the history
Unfortunately, it's hard to distinguish between a failed build or a
change to be promoted in the driver source.

I chose not to check for the driver exit status as it's likely to break
often.
  • Loading branch information
Julow committed Sep 26, 2023
1 parent 6f87895 commit 12d9624
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,15 @@ publish-docs:
test :
dune runtest

# Echo is disabled as the benchmarks results are printed on stdout.
# '@bench' exit status is not checked as it's very likely to fail due to
# needing promotion rather than because it really failed.
.PHONY : bench
bench:
-@dune build @bench
@dune promote driver-benchmarks.json
@cat driver-benchmarks.json

.PHONY : coverage
coverage :
dune build --instrument-with bisect_ppx @test/runtest --no-buffer -j 1 --force || true
Expand Down

0 comments on commit 12d9624

Please sign in to comment.