diff options
author | Phil Howard <phil@gadgetoid.com> | 2021-03-23 12:25:27 +0000 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2021-03-31 00:28:52 +1100 |
commit | 5976ea02a50ea76d72ada40db4cda186147fb412 (patch) | |
tree | 93316cc32ec1d2cf9e3d4b262b8234a8c2312371 | |
parent | 8e5756e2b6d03805bf9f40cd1128c0cd6214e07c (diff) | |
download | micropython-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-x | tools/ci.sh | 2 |
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 } ######################################################################################## |