diff --git a/sledge/Makefile b/sledge/Makefile index d7dcc6a57..93fcc6c44 100644 --- a/sledge/Makefile +++ b/sledge/Makefile @@ -39,7 +39,7 @@ watch: setup dune build --watch _build/dev/src/sledge.exe _build/release/src/sledge.exe .PHONY: test -test: +test: setup dune build @_build/dev/runtest --auto-promote BISECT_DIR=$(CURDIR)/_coverage/out