From ca83aa49eec098188593c6614750c218a6107d4a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 13 Sep 2019 21:32:11 -0500 Subject: [PATCH] chore: modify makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 8800efe..499085d 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ all: build test build: - @dune build @install + @dune build @all test: @dune runtest --no-buffer --force @@ -14,6 +14,6 @@ doc: @dune build @doc watch: - @dune build @install -w + @dune build @all -w -.PHONY: test watch +.PHONY: all build test watch