From e91a77f3deca65c00226f32651391568dd05f661 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 24 Feb 2017 10:31:37 +0100 Subject: [PATCH] tweak in makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) 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