aboutsummaryrefslogtreecommitdiff
path: root/nuttx/sched
diff options
context:
space:
mode:
authorpx4dev <px4@purgatory.org>2012-08-28 21:13:40 -0700
committerpx4dev <px4@purgatory.org>2012-08-28 21:13:40 -0700
commit952f862dad7b3105ed6ad37f4836effe71938b91 (patch)
tree6edb6b23715be1cea071c90357198b1b9121ab91 /nuttx/sched
parent1e90fd5bec19aa8e892a5bef2579bd47c192e317 (diff)
downloadpx4-firmware-952f862dad7b3105ed6ad37f4836effe71938b91.tar.gz
px4-firmware-952f862dad7b3105ed6ad37f4836effe71938b91.tar.bz2
px4-firmware-952f862dad7b3105ed6ad37f4836effe71938b91.zip
Disable a possibly-bogus assertion that is bringing us a lot of grief right now.
Diffstat (limited to 'nuttx/sched')
-rw-r--r--nuttx/sched/sem_holder.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/sched/sem_holder.c b/nuttx/sched/sem_holder.c
index abe7e9e28..704ebd194 100644
--- a/nuttx/sched/sem_holder.c
+++ b/nuttx/sched/sem_holder.c
@@ -450,7 +450,7 @@ static int sem_restoreholderprio(FAR struct semholder_s *pholder, FAR sem_t *sem
* priorities back to the base priority.
*/
- DEBUGASSERT(htcb->sched_priority == stcb->sched_priority && htcb->npend_reprio == 0);
+ //DEBUGASSERT(htcb->sched_priority == stcb->sched_priority && htcb->npend_reprio == 0);
sched_reprioritize(htcb, htcb->base_priority);
}