Add watch script for incremental builds

This commit is contained in:
Valentin Brandl 2018-10-17 17:45:42 +02:00
parent 4f8b9c95aa
commit 11200e02ee
No known key found for this signature in database
GPG Key ID: 30D341DD34118D7D

8
build_watch.sh Executable file
View File

@ -0,0 +1,8 @@
#!/usr/bin/env sh
main() {
while inotifywait -r -e modify -e create -e delete "./school/"; do
make
done
}
main