diff options
-rw-r--r-- | test/zdtm/static/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/zdtm/static/Makefile b/test/zdtm/static/Makefile index cb919c016..01624705e 100644 --- a/test/zdtm/static/Makefile +++ b/test/zdtm/static/Makefile @@ -495,8 +495,8 @@ WAIT_TIME=240 [ $$i -lt $(WAIT_TIME) ] wait_stop: - i=0; \ - while [ $$i -lt $(WAIT_TIME) ] ; do \ + i=0; \ + while [ $$i -lt $(WAIT_TIME) ] ; do \ kill -0 `awk '{print}' *.pid 2>/dev/null` 2>/dev/null || break; \ sleep 1; \ i=`expr $$i + 1`; \ |