diff options
author | Andrew Cady <d@jerkface.net> | 2020-08-27 14:08:23 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2020-08-27 14:08:23 -0400 |
commit | 9078d3ec63f51d85c501e49f46bcf980c7c4da64 (patch) | |
tree | ae93b2f3b310515141ed0536e3821fd6c5fedf61 /src/initrd | |
parent | 7cab13d86de57937dbc496842397374098ea17ca (diff) |
make set -x less noisywip-2020-09-15
Diffstat (limited to 'src/initrd')
-rwxr-xr-x | src/initrd/grok-block | 13 |
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() | |||
138 | 138 | ||
139 | wait_for_files_() | 139 | wait_for_files_() |
140 | { | 140 | { |
141 | local f | 141 | : wait_for_files: Polling... |
142 | for f in "$@"; do | 142 | ( |
143 | while ! [ -e "$f" ]; do sleep 0.1; done | 143 | set +x |
144 | done | 144 | local f |
145 | for f in "$@"; do | ||
146 | while ! [ -e "$f" ]; do sleep 0.1; done | ||
147 | done | ||
148 | ) | ||
149 | : wait_for_files: ...finished. | ||
145 | } | 150 | } |
146 | 151 | ||
147 | grok_block() | 152 | grok_block() |