summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Jour <d.jour@steiner.de>2022-08-03 01:32:51 +0200
committerDamien George <damien@micropython.org>2022-08-11 13:33:51 +1000
commit409995ac6828dc6bb70fcbe0bf9f26fd087ed22b (patch)
tree53f6d312c29ad39aac359118415b040410b6db34
parent47c84286e8c8d9873e99f12711a683ecd6b9ca62 (diff)
tools/ci.sh: Force mpy-cross build for samd and teensy.
-rwxr-xr-xtools/ci.sh2
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
}