summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorPhil Howard <phil@gadgetoid.com>2021-03-23 12:25:27 +0000
committerDamien George <damien@micropython.org>2021-03-31 00:28:52 +1100
commit5976ea02a50ea76d72ada40db4cda186147fb412 (patch)
tree93316cc32ec1d2cf9e3d4b262b8234a8c2312371
parent8e5756e2b6d03805bf9f40cd1128c0cd6214e07c (diff)
downloadmicropython-5976ea02a50ea76d72ada40db4cda186147fb412.tar.gz
micropython-5976ea02a50ea76d72ada40db4cda186147fb412.zip
tools/ci.sh: Add CI for CMake USER_C_MODULE support.
Builds the rp2 port against the example C and CXX modules. Signed-off-by: Phil Howard <phil@pimoroni.com>
-rwxr-xr-xtools/ci.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh
index 53cf7f878b..0450611a10 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -181,6 +181,8 @@ function ci_rp2_build {
make ${MAKEOPTS} -C mpy-cross
git submodule update --init lib/pico-sdk lib/tinyusb
make ${MAKEOPTS} -C ports/rp2
+ make ${MAKEOPTS} -C ports/rp2 clean
+ make ${MAKEOPTS} -C ports/rp2 USER_C_MODULES=../../examples/usercmodule/micropython.cmake
}
########################################################################################