chore: modernize make watch

This commit is contained in:
Simon Cruanes 2019-04-13 03:05:34 -05:00
parent bb4d8a89f3
commit a325600ccb

View file

@ -36,11 +36,9 @@ release: update_next_tag
opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'" @echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"
WATCH?=@all
watch: watch:
while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \ @dune build $(WATCH) -w
echo "============ at `date` ==========" ; \
make all; \
done
reindent: reindent:
@which ocp-indent || ( echo "require ocp-indent" ; exit 1 ) @which ocp-indent || ( echo "require ocp-indent" ; exit 1 )