add make watch target

This commit is contained in:
Simon Cruanes 2015-10-21 20:34:04 +02:00
parent 41beb03dd0
commit fb484c6e81

View file

@ -128,4 +128,10 @@ devel:
--enable-bigarray --enable-thread --enable-advanced --enable-bigarray --enable-thread --enable-advanced
make all make all
watch:
while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
echo "============ at `date` ==========" ; \
make ; \
done
.PHONY: examples push_doc tags qtest-gen qtest-clean devel update_next_tag .PHONY: examples push_doc tags qtest-gen qtest-clean devel update_next_tag