From d4646ffd63ddbf262cf18a22c946f62b8553a698 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 28 Dec 2017 19:12:32 +0100
Subject: [PATCH] makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 171013cd..f789c987 100644
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ reindent: ocp-indent
 
 WATCH=all
 watch:
-	while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
+	while find src/ tests/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
 		echo "============ at `date` ==========" ; \
 		make $(WATCH); \
 	done