make set -x less noisywip-2020-09-15

1 files changed, 9 insertions, 4 deletions

diff --git a/src/initrd/grok-block b/src/initrd/grok-block
index efe46d8..86ff499 100755
--- a/src/initrd/grok-block
+++ b/src/initrd/grok-block
@@ -138,10 +138,15 @@ parent_device()
 
 wait_for_files_()
 {
-    local f
-    for f in "$@"; do
-        while ! [ -e "$f" ]; do sleep 0.1; done
-    done
+    : wait_for_files: Polling...
+    (
+        set +x
+        local f
+        for f in "$@"; do
+            while ! [ -e "$f" ]; do sleep 0.1; done
+        done
+    )
+    : wait_for_files: ...finished.
 }
 
 grok_block()