diff --git a/Makefile b/Makefile index dd8be457..0e835d01 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,7 @@ clean: test: @dune runtest --force --no-buffer -TESTOPTS ?= -j $(J) -c tests/benchpress.sexp +TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress TESTTOOL=benchpress DATE=$(shell date +%FT%H:%M)