chore: apply shellcheck recommendation which was causing "make lint" to fail locally (#12972)

This commit is contained in:
Danny Kopping 2024-04-16 13:06:08 +02:00 committed by GitHub
parent 41ca6e4f7f
commit 06e042acfa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -213,7 +213,7 @@ while ! maybedryrun "$DRY_RUN" timeout 1 bash -c "echo > /dev/tcp/localhost/6061
echo "pprof failed to become ready in time!"
exit 1
fi
pprof_attempt_counter+=1
((pprof_attempt_counter += 1))
maybedryrun "$DRY_RUN" sleep 3
done