diff options
| -rwxr-xr-x | make-permanently.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make-permanently.in b/make-permanently.in index 659517a..786c61c 100755 --- a/make-permanently.in +++ b/make-permanently.in @@ -82,5 +82,7 @@ while true; do ) inotifywait -e DELETE_SELF,CLOSE_WRITE $(find ${watch_files} -type f) || break fi - make "$@" + while make "$@"; do + make -q "$@" && break + done done |