Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-20 | tools/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-06 | tools/metrics.py: Fix esp32 output filename due to move to CMake. | Damien George | |
Signed-off-by: Damien George <damien@micropython.org> | |||
2020-04-22 | tools/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-22 | tools/metrics.py: Don't build mpy-cross if not needed by any ports. | Damien George | |
To save build time. | |||
2020-04-22 | tools/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-11 | tools/metrics.py: Use check_call instead of run to error out on error. | Damien George | |
2020-02-28 | all: 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-23 | tools: Add metrics.py script to build and compute port sizes/metrics. | Damien George | |