diff options
Diffstat (limited to 'tools')
| -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 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 } ######################################################################################## |