mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-08-06 06:51:48 +02:00
minor change to add extra check for compiler time to prevent bad config Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>