diff options
| author | Philipp Ebensberger <philipp.ebensberger@3bricks-software.de> | 2021-04-24 21:34:07 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-05-26 00:12:45 +1000 |
| commit | 5f68f0d08ab1effd0fae8a00bdda46dbc788d9db (patch) | |
| tree | d9caad5377b9960c6dc19e65bbd9d874076c52c4 /tools | |
| parent | c326d9a67ba1846bba38f284fa9b8f712dd2d48a (diff) | |
github/workflows: Add CI workflow for mimxrt port.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 7b38ce0df..df812141f 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -139,6 +139,19 @@ function ci_esp8266_build { } ######################################################################################## +# ports/mimxrt + +function ci_mimxrt_setup { + ci_gcc_arm_setup +} + +function ci_mimxrt_build { + make ${MAKEOPTS} -C ports/mimxrt submodules + make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1020_EVK + make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40 +} + +######################################################################################## # ports/nrf function ci_nrf_setup { |