chore: fix makefile

This commit is contained in:
Simon Cruanes 2021-08-02 21:34:37 -04:00
parent 2a2b03ffc8
commit 2d081c554b

View file

@ -70,7 +70,7 @@ reindent:
WATCH=@all
watch:
@dune build $(WATCH) -w $(OPTS) --profile=release
@dune build $(WATCH) -w $(OPTS)
#@dune build @all -w # TODO: once tests pass
.PHONY: clean doc all bench install uninstall remove reinstall bin test