simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-05-05 08:54:24 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

makefile

Browse source
This commit is contained in:
Simon Cruanes 2026-04-24 00:55:55 -04:00
parent 701f18561a
commit 94f178d400
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Makefile
View file

@ -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)