From 03acab14b24a6cf0e3d65d31ed0eb786974fe816 Mon Sep 17 00:00:00 2001
From: Richard Barry <ribarry@amazon.com>
Date: Wed, 29 Oct 2008 10:11:22 +0000
Subject: [PATCH] Fix
 https://sourceforge.net/tracker/index.php?func=detail&aid=2194064&group_id=111543&atid=659633

---
 Source/tasks.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/tasks.c b/Source/tasks.c
index 24cd979ae..a87878aee 100644
--- a/Source/tasks.c
+++ b/Source/tasks.c
@@ -1832,7 +1832,7 @@ tskTCB *pxNewTCB;
 #endif
 /*-----------------------------------------------------------*/
 
-#if ( INCLUDE_uxTaskGetStackHighWaterMark == 1 )
+#if ( ( configUSE_TRACE_FACILITY == 1 ) || ( INCLUDE_uxTaskGetStackHighWaterMark == 1 ) )
 
 	unsigned portSHORT usTaskCheckFreeStackSpace( const unsigned portCHAR * pucStackByte )
 	{