summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-14 19:44:56 +0100
committerErich Eckner <git@eckner.net>2022-11-14 19:44:56 +0100
commitfe199b614f08fa1c5ceb67d8898f7bc1771e519c (patch)
tree0f035e38881662855d2622a3554e6638ed58cebe
parentfd1788a5fa18b09b095ddbe89632ab1109b59a2a (diff)
downloadeven-more-utils-fe199b614f08fa1c5ceb67d8898f7bc1771e519c.tar.xz
make-permanently: only wait for 30 seconds max
-rwxr-xr-xmake-permanently.in4
1 files 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