summaryrefslogtreecommitdiff
path: root/tools/metrics.py
AgeCommit message (Expand)Author
2020-03-11tools/metrics.py: Use check_call instead of run to error out on error.Damien George
2020-02-28all: Reformat C and Python source code with tools/codeformat.py.Damien George
2020-01-23tools: Add metrics.py script to build and compute port sizes/metrics.Damien George