}\r
/*-----------------------------------------------------------*/\r
\r
-void MPU_vTaskList( signed char *pcWriteBuffer )\r
-{\r
-portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();\r
-\r
- vTaskList( pcWriteBuffer );\r
- portRESET_PRIVILEGE( xRunningPrivileged );\r
-}\r
-\r
+#if ( configUSE_TRACE_FACILITY == 1 )\r
+ void MPU_vTaskList( signed char *pcWriteBuffer )\r
+ {\r
+ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();\r
+ \r
+ vTaskList( pcWriteBuffer );\r
+ portRESET_PRIVILEGE( xRunningPrivileged );\r
+ }\r
+#endif\r
/*-----------------------------------------------------------*/\r
\r
#if ( configGENERATE_RUN_TIME_STATS == 1 )\r