summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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
}