tweak in makefile

This commit is contained in:
Simon Cruanes 2017-02-24 10:31:37 +01:00
parent f66d636b0e
commit e91a77f3de

View file

@ -83,6 +83,7 @@ update_next_tag:
watch:
while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
echo "============ at `date` ==========" ; \
sleep 0.2; \
make all; \
done