diff options
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 { |