diff --git a/test_coverage.sh b/test_coverage.sh index 7b5f239e..37dafc3d 100755 --- a/test_coverage.sh +++ b/test_coverage.sh @@ -313,6 +313,7 @@ while [[ ! "$status" = 0 ]] && [[ $cnt -gt 0 ]]; do echo `date` "check signal" ./src/tools/ebusctl -p 8877 state | egrep -q "signal acquired" status=$? + cnt=$((cnt - 1)) done if [ "$status" = 0 ]; then echo `date` "got signal"