From 858ffb6f2587ca5593417be1c9f95fe727390e9e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 9 Dec 2019 22:38:26 -0600 Subject: [PATCH] chore: add `--progress` in makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)