diff --git a/sledge/Makefile b/sledge/Makefile index 3fa2ab8ec..220a1faf9 100644 --- a/sledge/Makefile +++ b/sledge/Makefile @@ -63,7 +63,7 @@ opt: setup .PHONY: watch watch: setup - dune build --watch $(TARGETS) + dune build --watch --terminal-persistence=clear-on-rebuild $(TARGETS) .PHONY: test test: setup