anchao opened a new pull request, #13569: URL: https://github.com/apache/nuttx/pull/13569
… used for undefined preprocessing identifier" warnings" move private define to public This reverts commit 236678d730220138416724d2cab25d6e1bd2ce9d. ## Summary Revert "toolchain/ghs: Fix CONFIG_SCHED_CRITMONITOR_MAXTIME_XXX "zero used for undefined preprocessing identifier" warnings" move private define to public This reverts commit 236678d730220138416724d2cab25d6e1bd2ce9d. Signed-off-by: chao an <[email protected]> ## Impact N/A ## Testing ci-check -- 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]
