This commit is contained in:
Simon Cruanes 2023-06-09 23:13:18 -04:00
parent be03f25cc0
commit 9e0b84ecfd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -2,7 +2,7 @@
all: build test
build:
@dune build @all
@dune build @install
test:
@dune runtest --no-buffer --force
@ -13,7 +13,7 @@ clean:
doc:
@dune build @doc
WATCH?=@all
WATCH?= @install @runtest
watch:
@dune build $(WATCH )-w