chore: makefile

This commit is contained in:
Simon Cruanes 2023-02-28 11:07:55 -05:00
parent 9e7d9be5c3
commit 849194728a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,7 +13,8 @@ clean:
doc:
@dune build @doc
WATCH?=@all
watch:
@dune build @all -w
@dune build $(WATCH )-w
.PHONY: all build test watch