detail in makefile

This commit is contained in:
Simon Cruanes 2023-06-20 23:32:37 -04:00
parent 45026eca59
commit dfe0602fdd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

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