diff --git a/Makefile b/Makefile
index 4f0e4731..48d9c2fc 100644
--- a/Makefile
+++ b/Makefile
@@ -129,7 +129,7 @@ devel:
 	make all
 
 watch:
-	while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
+	while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
 		echo "============ at `date` ==========" ; \
 		make ; \
 	done