From: richardbarry <richardbarry@1d2547de-c912-0410-9cb9-b8ca96c0e9e2>
Date: Tue, 13 Oct 2009 09:12:30 +0000 (+0000)
Subject: Correct compiler warnings when a certain configuration is set in FreeRTOSConfig.h.
X-Git-Tag: V6.0.0~7
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=d2851959032417fceb03f62a2398d22755cef8e7;p=freertos

Correct compiler warnings when a certain configuration is set in FreeRTOSConfig.h.

git-svn-id: https://svn.code.sf.net/p/freertos/code/trunk@922 1d2547de-c912-0410-9cb9-b8ca96c0e9e2
---

diff --git a/Source/portable/GCC/ARM_CM3_MPU/port.c b/Source/portable/GCC/ARM_CM3_MPU/port.c
index 0074c5bce..93caade95 100644
--- a/Source/portable/GCC/ARM_CM3_MPU/port.c
+++ b/Source/portable/GCC/ARM_CM3_MPU/port.c
@@ -751,14 +751,15 @@ portBASE_TYPE xRunningPrivileged = prvRaisePrivilege();
 }
 /*-----------------------------------------------------------*/
 
-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 )