ventZl opened a new issue, #20359:
URL: https://github.com/apache/nuttx/issues/20359
### Description / Steps to reproduce the issue
Using following script on empty `build` directory and git reporting that
`nuttx` repository is in clean state:
~~~
if [ ! -e nxvenv ]; then
python -m venv nxvenv
fi
. nxvenv/bin/activate
if [ -e nxvenv/bin/menuconfig ]; then
pip install kconfiglib
fi
cmake -B build -DBOARD_CONFIG=nucleo-l432kc:nsh -GNinja nuttx
cmake --build build
~~~
The build will fail with multiple errors like:
`nuttx/apps/testing/ostest/wdog.c:59:3: error: unknown type name 'sclock_t';
did you mean 'clock_t'?`
This does not happen if other boards from stm32l4 family are selected (at
least some which I tried).
### On which OS does this issue occur?
[OS: Linux]
### What is the version of your OS?
Arch Linux
### NuttX Version
both 13.0.1 and current master
### Issue Architecture
[Arch: arm]
### Issue Area
[Area: Board support]
### Host information
~~~
[ventyl@rezen nuttx]$ cmake --build build -t host_info
ninja: error: unknown target 'host_info'
~~~
### Verification
- [x] I have verified before submitting the report.
--
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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
