v01d opened a new pull request #1776: URL: https://github.com/apache/incubator-nuttx/pull/1776
## Summary EXTRAFLAGS is already applied to *FLAGS in board's Make.defs (and it applies to whole build, not just arch-code). EXTRAFLAGS is passed around each make call to the complete build. KDEFINE is already added to EXTRAFLAGS in main Makefile so no need to add it again in arch-level Makefile ## Impact Build ## Testing Built locally, verified KDEFINEs appear where expected and only once. Also, tested by doing make EXTRAFLAGS=<flag> and verify it also appears everywhere and only once. ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
