tree 04dfd4e2b403aaac5bca7bd3614f418f58345d9c
parent 388176bbb4d58d01965ad5d24c641c345cb7c067
author Edwin Kempin <ekempin@google.com> 1610528986 +0100
committer Edwin Kempin <ekempin@google.com> 1610529699 +0100

tools/coverage.sh: Expand bash aliases and source bash profile

This way the script also works if you have 'bazel' alias that points to
'bazelisk'.

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I150d4972fb62f0249ffa577333a26a474a0a5855