From b0e256586c24c6fb169d61e98302b11026ff10d2 Mon Sep 17 00:00:00 2001
From: Yuchen Pei <id@ypei.org>
Date: Wed, 28 Jun 2023 19:54:44 +1000
Subject: Some minor fixes

---
 misc/bin/watch-make.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 misc/bin/watch-make.sh

(limited to 'misc')

diff --git a/misc/bin/watch-make.sh b/misc/bin/watch-make.sh
new file mode 100755
index 0000000..db9129f
--- /dev/null
+++ b/misc/bin/watch-make.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+cmd="$@"
+
+while true; do
+    $cmd
+    inotify_result=
+    while [ -z "$inotify_result" ]; do
+        inotify_result=$(inotifywait -qre close_write ../src | grep -E '\.(cc|h)$')
+    done
+done
-- 
cgit v1.2.3