8 Commity (c012318d74fed232b1c872a1a0cacf91ebcb1b6d)

Autor	SHA1	Wiadomość	Data
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