diff options
Diffstat (limited to 'src')
-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() |