diff options
Diffstat (limited to 'include/FreeRTOS.h')
-rw-r--r-- | include/FreeRTOS.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/include/FreeRTOS.h b/include/FreeRTOS.h index 06c50adf3..b6caec77f 100644 --- a/include/FreeRTOS.h +++ b/include/FreeRTOS.h @@ -365,6 +365,17 @@ #define configPRECONDITION_DEFINED 1 #endif +#ifndef configCHECK_HANDLER_INSTALLATION + #define configCHECK_HANDLER_INSTALLATION 1 +#else + +/* The application has explicitly defined configCHECK_HANDLER_INSTALLATION + * to 1. The checks requires configASSERT() to be defined. */ + #if ( ( configCHECK_HANDLER_INSTALLATION == 1 ) && ( configASSERT_DEFINED == 0 ) ) + #error You must define configASSERT() when configCHECK_HANDLER_INSTALLATION is 1. + #endif +#endif + #ifndef portMEMORY_BARRIER #define portMEMORY_BARRIER() #endif |