1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6b9b3ced..f444ab5a 100644
--- a/Makefile
+++ b/Makefile
@@ -485,6 +485,10 @@ tarball:
 
 # --- Clean and Default ---
 
+WATCH_SRCS := $(shell find include source platform -type f -name '*.[ch]')
+watch:
+	@ while ! inotifywait -q -e modify $(WATCH_SRCS) ; do time -p $(MAKE) ; done
+
 java:
 	$(MAKE) -C platform/java