diff --git a/Makefile b/Makefile index 4da8a1e6..60530672 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ clean: doc: @dune build @doc -WATCH?= "@install @runtest" +WATCH?= @install @runtest watch: @dune build $(OPTS) $(WATCH) -w