From a325600ccbb18c3e6486f943f369eb02f4f7dde5 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 13 Apr 2019 03:05:34 -0500
Subject: [PATCH] chore: modernize `make watch`

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

diff --git a/Makefile b/Makefile
index 85893647..91dd1a49 100644
--- a/Makefile
+++ b/Makefile
@@ -36,11 +36,9 @@ release: update_next_tag
 	opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
 	@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"
 
+WATCH?=@all
 watch:
-	while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
-		echo "============ at `date` ==========" ; \
-		make all; \
-	done
+	@dune build $(WATCH) -w
 
 reindent:
 	@which ocp-indent || ( echo "require ocp-indent" ; exit 1 )