From 11200e02eee2ccc3d69f2dc3bb52a7bae0fa66b3 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Wed, 17 Oct 2018 17:45:42 +0200
Subject: [PATCH] Add watch script for incremental builds

---
 build_watch.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 build_watch.sh

diff --git a/build_watch.sh b/build_watch.sh
new file mode 100755
index 0000000..0229273
--- /dev/null
+++ b/build_watch.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env sh
+main() {
+	while inotifywait -r -e modify -e create -e delete "./school/"; do
+		make
+	done
+}
+
+main