Fix shellcheck issues in infra/*.sh

There is an update of shellcheck v0.8.0 which adds more issues.

Change-Id: I1a8008bb9f6346cf49566bafe4692534548408bd
Bug: b:185520494
3 files changed