Files
gerrit/tools
Edwin Kempin 3377ccebb3 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
2021-01-13 10:21:39 +01:00
..
2020-12-15 14:21:57 -05:00
2021-01-05 14:18:03 +01:00
2020-12-22 17:27:55 +00:00
2015-08-26 09:03:24 -06:00
2021-01-05 15:39:48 +00:00
2019-03-13 16:12:42 +09:00