From 94f178d40005ae6f47af10079e207409e5a67a4e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 24 Apr 2026 00:55:55 -0400
Subject: [PATCH] makefile

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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)