diff --git a/Makefile b/Makefile index 78dbae1b..9840b1d9 100644 --- a/Makefile +++ b/Makefile @@ -77,7 +77,7 @@ reindent: @find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 echo "reindenting: " @find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 ocp-indent -i -WATCH=@all +WATCH?=@all watch: dune build $(WATCH) -w $(OPTS) #@dune build @all -w # TODO: once tests pass