diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-19 09:16:36 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-22 14:04:01 +1000 |
| commit | 8267f0866cf6d4b583cc3f6e8c4e15a3d81142c6 (patch) | |
| tree | 7d88d0340dd1cc3aeaeb1087f0fbafd495ba668c /py/compile.c | |
| parent | 17dc86369f018caaee0b81740619bb1ca5a5f891 (diff) | |
travis: Use tools/metrics.py to compute size diff of minimal ports.
This is to make the Travis CI size check more robust, by not relying on the
saved firmware from a previous build (which may use a different compiler,
environment, etc) but rather compile both master and the PR and diff them.
This size check now checks both bare-arm and minimal x86-32 builds (before
it just checked minimal Cortex-M build).
Diffstat (limited to 'py/compile.c')
0 files changed, 0 insertions, 0 deletions