tree db6e630c0693ac05394c05d67d9cfec6e6674f28
parent 650bb37f4d85f6b7b75b02ad3d9137187ba4a25b
author Daniel Latypov <dlatypov@google.com> 1639433458 -0800
committer Daniel Latypov <dlatypov@google.com> 1639434605 -0800

get_metrics.sh: use git-grep to cut runtime by >70%

This script currently spends ~16s computing the all_tests variable.
The bulk of this comes from the `grep -r` command to list all #include's
of <kunit/test.h>.

Using git-grep is ~always going to be faster than a `grep -r` which has
to consult the filesystem to find all the files.

Before: `time` output:
real    0m30.015s
user    0m26.132s
sys     0m4.297s

After first git-grep conversion:
real    0m15.371s
user    0m14.138s
sys     0m3.077s

After second (test_case_num)
real    0m8.826s
user    0m9.238s
sys     0m1.800s

Change-Id: If0ee078415179463f34024e45d4290d9f2304dae
Signed-off-by: Daniel Latypov <dlatypov@google.com>