fdcavalcanti commented on PR #16836:
URL: https://github.com/apache/nuttx/pull/16836#issuecomment-3207562888
You have a build error on CI.
```
Cleaning...
Configuring...
Disabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Enabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Building NuttX...
[1/1] Normalize xiao-ra4m1/nsh
====================================================================================
Configuration/Tool:
raspberrypi-pico-w/nsh-flash,CONFIG_ARM_TOOLCHAIN_GNU_EABI
2025-08-20 11:40:35
------------------------------------------------------------------------------------
Cleaning...
Configuring...
Disabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Enabling CONFIG_ARM_TOOLCHAIN_GNU_EABI
Building NuttX...
In file included from
/tools/pico-sdk/src/common/pico_base_headers/include/pico.h:64,
from
/tools/pico-sdk/src/rp2040/pico_platform/include/pico/asm_helper.S:7,
from
/tools/pico-sdk/src/rp2040/boot_stage2/boot2_w25q080.S:29:
/tools/pico-sdk/src/rp2040/pico_platform/include/pico/platform.h:26:10:
fatal error: pico/platform/common.h: No such file or directory
26 | #include "pico/platform/common.h"
| ^~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
```
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
