From 6901a85323565f2d2f5080e57b7e47e07079926e Mon Sep 17 00:00:00 2001
From: px4dev <px4@purgatory.org>
Date: Tue, 28 Aug 2012 09:14:13 -0700
Subject: Make the task printer work with our usual config.  Tough to detect
 the correct configuration here.

---
 Debug/NuttX | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Debug/NuttX b/Debug/NuttX
index 3192326b8..825733554 100644
--- a/Debug/NuttX
+++ b/Debug/NuttX
@@ -161,8 +161,8 @@ end
 #
 define _showsemaphore
 	printf "count %d ", $arg0->semcount
-	if $arg0->hlist.holder != 0
-		set $_task = (struct _TCB *)$arg0->hlist.holder
+	if $arg0->holder.htcb != 0
+		set $_task = (struct _TCB *)$arg0->holder.htcb
 		printf "held by %s", $_task->name
 	end
 	printf "\n"
-- 
cgit v1.2.3