From 7214b860d8455f558a75d29b3704f5c5ce044892 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 14 Nov 2022 19:52:35 +0100 Subject: Revert "make-permanently: only wait for 30 seconds max" This reverts commit fe199b614f08fa1c5ceb67d8898f7bc1771e519c. This was useless anyways - we run make as long as make believes, there is something to do. --- make-permanently.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/make-permanently.in b/make-permanently.in index c1bfd80..786c61c 100755 --- a/make-permanently.in +++ b/make-permanently.in @@ -15,7 +15,7 @@ make "$@" while true; do if ${recursive}; then - inotifywait -t 30 -e DELETE_SELF,CLOSE_WRITE -r * || [ $? -eq 2 ] || break + inotifywait -e DELETE_SELF,CLOSE_WRITE -r * || break else make_content=$( sed ' @@ -80,7 +80,7 @@ while true; do | xargs -r readlink -f \ | sort -u ) - inotifywait -t 30 -e DELETE_SELF,CLOSE_WRITE $(find ${watch_files} -type f) || [ $? -eq 2 ] || break + inotifywait -e DELETE_SELF,CLOSE_WRITE $(find ${watch_files} -type f) || break fi while make "$@"; do make -q "$@" && break -- cgit v1.2.3-70-g09d2