mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-20 21:41:59 -04:00
Correct compiler warnings when a certain configuration is set in FreeRTOSConfig.h.
This commit is contained in:
parent
8560e094f2
commit
e00afda1b1
|
@ -751,6 +751,7 @@ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
|
||||||
}
|
}
|
||||||
/*-----------------------------------------------------------*/
|
/*-----------------------------------------------------------*/
|
||||||
|
|
||||||
|
#if ( configUSE_TRACE_FACILITY == 1 )
|
||||||
void MPU_vTaskList( signed char *pcWriteBuffer )
|
void MPU_vTaskList( signed char *pcWriteBuffer )
|
||||||
{
|
{
|
||||||
portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
|
portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
|
||||||
|
@ -758,7 +759,7 @@ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
|
||||||
vTaskList( pcWriteBuffer );
|
vTaskList( pcWriteBuffer );
|
||||||
portRESET_PRIVILEGE( xRunningPrivileged );
|
portRESET_PRIVILEGE( xRunningPrivileged );
|
||||||
}
|
}
|
||||||
|
#endif
|
||||||
/*-----------------------------------------------------------*/
|
/*-----------------------------------------------------------*/
|
||||||
|
|
||||||
#if ( configGENERATE_RUN_TIME_STATS == 1 )
|
#if ( configGENERATE_RUN_TIME_STATS == 1 )
|
||||||
|
|
Loading…
Reference in a new issue