From 50bfe79b6a39b3120bed30918c830e8accd3ac52 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 2 Feb 2022 16:12:29 -0500 Subject: [PATCH] test: use dune options, so, release mode --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 939451f9..12ffb863 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,7 @@ clean: @dune clean test: - @dune runtest --force --no-buffer + @dune runtest $(OPTS) --force --no-buffer TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress TESTTOOL=benchpress