From fb484c6e81a7b36cea32a1e486d43b889161fa93 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 21 Oct 2015 20:34:04 +0200
Subject: [PATCH] add `make watch` target

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 25526672..4f0e4731 100644
--- a/Makefile
+++ b/Makefile
@@ -128,4 +128,10 @@ devel:
 		--enable-bigarray --enable-thread --enable-advanced
 	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