diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 14:09:49 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:09:12 +1100 |
| commit | 7778e78843b7e157b164b450ce9965ed4f7f3048 (patch) | |
| tree | a095ed12082357857e073128164d99ccf1b0fc01 /docs/reference/micropython2_migration.rst | |
| parent | f982158f42df65f2ddf295df9b92d74be6357d44 (diff) | |
tools/metrics.py: Allow pre_cmd to set up environment.
This is a necessary step to allow cleanly building the xtensa port during
CI, as it's undesirable to apply the esp-idf environment settings while
building other ports.
PRE_CMD_<letter> can be used to override the command, or add a command if
not otherwise specified. Note that <letter> is case sensitive.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'docs/reference/micropython2_migration.rst')
0 files changed, 0 insertions, 0 deletions