From fd1788a5fa18b09b095ddbe89632ab1109b59a2a Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 14 Nov 2022 19:22:43 +0100
Subject: make-permanently: run as long as needed

---
 make-permanently.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3-70-g09d2