Add a small script to sum *.stats file given as input and output the totals
usage example:
merge-stats.py $(find ./builddir/ -name "*.stats") > total.stats
Differential D83505
[NFC] Add utility to sum/merge stats files Tyker on Jul 9 2020, 1:32 PM. Authored by
Details
Add a small script to sum *.stats file given as input and output the totals merge-stats.py $(find ./builddir/ -name "*.stats") > total.stats
Diff Detail
Unit Tests Event TimelineComment Actions Is there really no such existing script? (i don't know of one, i've always hacked around with bash) Comment Actions i tried to find one the first time i needed one and didn't find any. maybe there is one i didn't find.
ok Comment Actions Yep. Just feel like pointing out.
Comment Actions This looks good and reasonable to me.
|
I think it would be okay to hardcode python3 in a new script :)