diff --git a/Makefile b/Makefile index 6606084..03e60f1 100644 --- a/Makefile +++ b/Makefile @@ -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