Correct compiler warnings when a certain configuration is set in FreeRTOSConfig.h.
diff --git a/Source/portable/GCC/ARM_CM3_MPU/port.c b/Source/portable/GCC/ARM_CM3_MPU/port.c
index 0074c5b..93caade 100644
--- a/Source/portable/GCC/ARM_CM3_MPU/port.c
+++ b/Source/portable/GCC/ARM_CM3_MPU/port.c
@@ -751,14 +751,15 @@
}
/*-----------------------------------------------------------*/
-void MPU_vTaskList( signed char *pcWriteBuffer )
-{
-portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
-
- vTaskList( pcWriteBuffer );
- portRESET_PRIVILEGE( xRunningPrivileged );
-}
-
+#if ( configUSE_TRACE_FACILITY == 1 )
+ void MPU_vTaskList( signed char *pcWriteBuffer )
+ {
+ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
+
+ vTaskList( pcWriteBuffer );
+ portRESET_PRIVILEGE( xRunningPrivileged );
+ }
+#endif
/*-----------------------------------------------------------*/
#if ( configGENERATE_RUN_TIME_STATS == 1 )
