detail in makefile

This commit is contained in:
Simon Cruanes 2023-06-20 23:32:37 -04:00
parent b9faebffe4
commit 4138b1885a

View file

@ -15,7 +15,7 @@ clean:
doc:
@dune build @doc
WATCH?= "@install @runtest"
WATCH?= @install @runtest
watch:
@dune build $(OPTS) $(WATCH) -w