Damien George
|
b74dc546fc
|
tools/metrics.py: Add rp2 port to table of ports that can be built.
Signed-off-by: Damien George <damien@micropython.org>
|
2021-04-20 21:39:53 +10:00 |
|
Damien George
|
d35f12f5ca
|
tools/metrics.py: Fix esp32 output filename due to move to CMake.
Signed-off-by: Damien George <damien@micropython.org>
|
2021-04-06 12:50:19 +10:00 |
Damien George
|
17dc86369f
|
tools/metrics.py: Use OrderedDict when reading build log.
So that the output (eg of the diff command) always has the lines in the
same order.
|
2020-04-22 14:03:26 +10:00 |
|
Damien George
|
1cc24cd39a
|
tools/metrics.py: Don't build mpy-cross if not needed by any ports.
To save build time.
|
2020-04-22 14:03:07 +10:00 |
|
Damien George
|
a4423570e2
|
tools/metrics.py: Add option to diff to error if delta above threshold.
Useful for things like CI where the size check is automated.
|
2020-04-22 14:02:14 +10:00 |
|
Damien George
|
554c01fc25
|
tools/metrics.py: Use check_call instead of run to error out on error.
|
2020-03-11 14:23:39 +11:00 |
|
Damien George
|
69661f3343
|
all: Reformat C and Python source code with tools/codeformat.py.
This is run with uncrustify 0.70.1, and black 19.10b0.
|
2020-02-28 10:33:03 +11:00 |
|
Damien George
|
a11e306227
|
tools: Add metrics.py script to build and compute port sizes/metrics.
|
2020-01-23 12:48:52 +11:00 |