summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-14 19:52:35 +0100
committerErich Eckner <git@eckner.net>2022-11-14 19:52:35 +0100
commit7214b860d8455f558a75d29b3704f5c5ce044892 (patch)
treeb1ad0d1e52023a37b6ab5c869395871025a9179a
parentfe199b614f08fa1c5ceb67d8898f7bc1771e519c (diff)
downloadeven-more-utils-master.tar.xz
Revert "make-permanently: only wait for 30 seconds max"HEADmaster
This reverts commit fe199b614f08fa1c5ceb67d8898f7bc1771e519c. This was useless anyways - we run make as long as make believes, there is something to do.
-rwxr-xr-xmake-permanently.in4
1 files 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