diff options
| -rwxr-xr-x | make-permanently.in | 4 |
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 |