diff options
Diffstat (limited to 'tools/ci.sh')
| -rwxr-xr-x | tools/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index bf60d788a..0faf1bc71 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -131,7 +131,9 @@ function ci_esp32_build { source esp-idf/export.sh make ${MAKEOPTS} -C mpy-cross make ${MAKEOPTS} -C ports/esp32 submodules - make ${MAKEOPTS} -C ports/esp32 USER_C_MODULES=../../../examples/usercmodule/micropython.cmake FROZEN_MANIFEST=$(pwd)/ports/esp32/boards/manifest.py + make ${MAKEOPTS} -C ports/esp32 \ + USER_C_MODULES=../../../examples/usercmodule/micropython.cmake \ + FROZEN_MANIFEST=$(pwd)/ports/esp32/boards/manifest_test.py if [ -d $IDF_PATH/components/esp32c3 ]; then make ${MAKEOPTS} -C ports/esp32 BOARD=GENERIC_C3 fi |