diff --git a/Makefile b/Makefile
index 86c51c9d..155d3bc4 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,8 @@ test:
 test-promote:
 	@dune runtest $(OPTS) --force --no-buffer --auto-promote
 
-TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress
+PROGRESS ?= --progress
+TESTOPTS ?= -j $(J) -c tests/benchpress.sexp $(PROGRESS)
 TESTTOOL=benchpress
 DATE=$(shell date +%FT%H:%M)