diff --git a/sledge/Makefile b/sledge/Makefile index 011c932ed..93fcc6c44 100644 --- a/sledge/Makefile +++ b/sledge/Makefile @@ -40,10 +40,6 @@ watch: setup .PHONY: test test: setup - dune build @_build/dev/runtest - -.PHONY: promote -promote: setup dune build @_build/dev/runtest --auto-promote BISECT_DIR=$(CURDIR)/_coverage/out