linguini1 commented on PR #15188: URL: https://github.com/apache/nuttx/pull/15188#issuecomment-2547299432
> Could you delete `config.txt` after building NuttX? I think the CI Build will complain no more after we fix this :-) Unfortunately the config.txt is generated because it's needed for the Raspberry Pi 4B to boot, it needs to be copied onto the Pi's SD card. If I add it to the files that are cleaned on `make clean`, will that make the builds pass? Or is it more NuttX idiomatic to have it be generated into the `tools/bcm2711` directory? It's a required part of the build results, just like `nuttx.bin`. -- 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
