summaryrefslogtreecommitdiff
path: root/tools/metrics.py
AgeCommit message (Collapse)Author
2021-04-20tools/metrics.py: Add rp2 port to table of ports that can be built.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2021-04-06tools/metrics.py: Fix esp32 output filename due to move to CMake.Damien George
Signed-off-by: Damien George <damien@micropython.org>
2020-04-22tools/metrics.py: Use OrderedDict when reading build log.Damien George
So that the output (eg of the diff command) always has the lines in the same order.
2020-04-22tools/metrics.py: Don't build mpy-cross if not needed by any ports.Damien George
To save build time.
2020-04-22tools/metrics.py: Add option to diff to error if delta above threshold.Damien George
Useful for things like CI where the size check is automated.
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
This is run with uncrustify 0.70.1, and black 19.10b0.
2020-01-23tools: Add metrics.py script to build and compute port sizes/metrics.Damien George