diff options
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 2c647012f1..ff362efd29 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -230,6 +230,8 @@ function ci_mimxrt_build { make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1020_EVK make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40 submodules make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40 + make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1060_EVK submodules + make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1060_EVK CFLAGS_EXTRA=-DMICROPY_HW_USB_MSC=1 } ######################################################################################## |