mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-08 15:17:50 -04:00
Fix CI build error
This commit is contained in:
parent
3da067c7c8
commit
3d14c271d7
1 changed files with 1 additions and 1 deletions
|
@ -171,7 +171,7 @@ extern void vPortExitCritical( void );
|
|||
|
||||
/*-----------------------------------------------------------*/
|
||||
|
||||
#ifdef configASSERT
|
||||
#if configASSERT_DEFINED == 1
|
||||
void vPortValidateInterruptPriority( void );
|
||||
#define portASSERT_IF_INTERRUPT_PRIORITY_INVALID() vPortValidateInterruptPriority()
|
||||
#endif
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue