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
 }
 
 ########################################################################################