summaryrefslogtreecommitdiff
path: root/tools/metrics.py
AgeCommit message (Expand)Author
2021-04-20tools/metrics.py: Add rp2 port to table of ports that can be built.Damien George
2021-04-06tools/metrics.py: Fix esp32 output filename due to move to CMake.Damien George
2020-04-22tools/metrics.py: Use OrderedDict when reading build log.Damien George
2020-04-22tools/metrics.py: Don't build mpy-cross if not needed by any ports.Damien George
2020-04-22tools/metrics.py: Add option to diff to error if delta above threshold.Damien George
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