chore: modify makefile

This commit is contained in:
Simon Cruanes 2019-09-13 21:32:11 -05:00
parent 4fcc1470e4
commit ca83aa49ee

View file

@ -2,7 +2,7 @@
all: build test all: build test
build: build:
@dune build @install @dune build @all
test: test:
@dune runtest --no-buffer --force @dune runtest --no-buffer --force
@ -14,6 +14,6 @@ doc:
@dune build @doc @dune build @doc
watch: watch:
@dune build @install -w @dune build @all -w
.PHONY: test watch .PHONY: all build test watch