diff options
| -rwxr-xr-x | tools/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 23e529e5e..22b43d451 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -146,6 +146,7 @@ function ci_mimxrt_setup { } function ci_mimxrt_build { + make ${MAKEOPTS} -C mpy-cross make ${MAKEOPTS} -C ports/mimxrt submodules make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1020_EVK make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40 |