From fe199b614f08fa1c5ceb67d8898f7bc1771e519c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 14 Nov 2022 19:44:56 +0100
Subject: make-permanently: only wait for 30 seconds max

---
 make-permanently.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/make-permanently.in b/make-permanently.in
index 786c61c..c1bfd80 100755
--- a/make-permanently.in
+++ b/make-permanently.in
@@ -15,7 +15,7 @@ make "$@"
 
 while true; do
   if ${recursive}; then
-    inotifywait -e DELETE_SELF,CLOSE_WRITE -r * || break
+    inotifywait -t 30 -e DELETE_SELF,CLOSE_WRITE -r * || [ $? -eq 2 ] || break
   else
     make_content=$(
       sed '
@@ -80,7 +80,7 @@ while true; do
       | xargs -r readlink -f \
       | sort -u
     )
-    inotifywait -e DELETE_SELF,CLOSE_WRITE $(find ${watch_files} -type f) || break
+    inotifywait -t 30 -e DELETE_SELF,CLOSE_WRITE $(find ${watch_files} -type f) || [ $? -eq 2 ] || break
   fi
   while make "$@"; do
     make -q "$@" && break
-- 
cgit v1.2.3-54-g00ecf