diff --git a/Makefile b/Makefile index 12ffb863..78dbae1b 100644 --- a/Makefile +++ b/Makefile @@ -79,7 +79,7 @@ reindent: WATCH=@all watch: - @dune build $(WATCH) -w $(OPTS) + dune build $(WATCH) -w $(OPTS) #@dune build @all -w # TODO: once tests pass .PHONY: clean doc all bench install uninstall remove reinstall bin test