aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael O'Cleirigh2021-03-27 17:13:00 -0400
committerDamien George2021-04-01 15:44:10 +1100
commit17b1f8212199ea6344e289e7fdea9585e30765d6 (patch)
treeceded3337654f81cdaed59d6da652f6cb958c8f3
parent0ccd9e08aad95f955ded0006cff67e2a50778c84 (diff)
tools/ci.sh: Build user C modules for esp32.
Builds the esp32 port against the example C and CXX modules. Signed-off-by: Michael O'Cleirigh <michael.ocleirigh@rivulet.ca>
-rwxr-xr-xtools/ci.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh
index 0450611a1..1a410632c 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -100,6 +100,8 @@ function ci_esp32_build {
make ${MAKEOPTS} -C mpy-cross
make ${MAKEOPTS} -C ports/esp32 submodules
make ${MAKEOPTS} -C ports/esp32
+ make ${MAKEOPTS} -C ports/esp32 clean
+ make ${MAKEOPTS} -C ports/esp32 USER_C_MODULES=../../../examples/usercmodule/micropython.cmake
}
########################################################################################