diff options
| author | Damien George <damien@micropython.org> | 2021-06-02 00:02:21 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-06-02 00:02:21 +1000 |
| commit | 934505ac33b60066398f75a45af3896b9672a661 (patch) | |
| tree | 9d75b3408b1df4c989215e7d10c12ce16112942a | |
| parent | 745b4319a21cfebefead76c7fcacd0b619d48063 (diff) | |
tools/ci.sh: Build mpy-cross as part of ci_mimxrt_build.
Signed-off-by: Damien George <damien@micropython.org>
| -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 |