diff options
author | Daniel Jour <d.jour@steiner.de> | 2022-08-03 01:32:51 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-08-11 13:33:51 +1000 |
commit | 409995ac6828dc6bb70fcbe0bf9f26fd087ed22b (patch) | |
tree | 53f6d312c29ad39aac359118415b040410b6db34 | |
parent | 47c84286e8c8d9873e99f12711a683ecd6b9ca62 (diff) |
tools/ci.sh: Force mpy-cross build for samd and teensy.
-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 20119342c..cf6fc4170 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -293,6 +293,7 @@ function ci_samd_setup { } function ci_samd_build { + make ${MAKEOPTS} -C mpy-cross make ${MAKEOPTS} -C ports/samd submodules make ${MAKEOPTS} -C ports/samd } @@ -356,6 +357,7 @@ function ci_teensy_setup { } function ci_teensy_build { + make ${MAKEOPTS} -C mpy-cross make ${MAKEOPTS} -C ports/teensy submodules make ${MAKEOPTS} -C ports/teensy } |