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