chore: add --progress in makefile

This commit is contained in:
Simon Cruanes 2019-12-09 22:38:26 -06:00
parent 9293553925
commit 858ffb6f25

View file

@ -26,7 +26,7 @@ clean:
test: test:
@dune runtest --force --no-buffer @dune runtest --force --no-buffer
TESTOPTS ?= -j $(J) -c tests/benchpress.sexp TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress
TESTTOOL=benchpress TESTTOOL=benchpress
DATE=$(shell date +%FT%H:%M) DATE=$(shell date +%FT%H:%M)