Module: xenomai-head
Branch: master
Commit: 12fefb737181776f888b4ff0431236799fa19c94
URL:
http://git.xenomai.org/?p=xenomai-head.git;a=commit;h=12fefb737181776f888b4ff0431236799fa19c94
Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date: Thu Aug 18 19:16:48 2011 +0200
common: fix previous rt_printf commit
Only check if a buffer belongs to the pool when compiling with
FASTSYNCH enabled, as we are only defining the pool in that case.
---
src/skins/common/rt_print.c | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/skins/common/rt_print.c b/src/skins/common/rt_print.c
index 730cf70..d4cf0db 100644
--- a/src/skins/common/rt_print.c
+++ b/src/skins/common/rt_print.c
@@ -610,8 +610,11 @@ static void forked_child_init(void)
pthread_mutex_init(&buffer_lock, NULL);
while (*pbuffer) {
- if (*pbuffer == my_buffer ||
- (unsigned long)*pbuffer - pool_start < pool_len)
+ if (*pbuffer == my_buffer
+#ifdef CONFIG_XENO_FASTSYNCH
+ || (unsigned long)*pbuffer - pool_start < pool_len
+#endif /* CONFIG_XENO_FASTSYNCH */
+ )
pbuffer = &(*pbuffer)->next;
else
cleanup_buffer(*pbuffer);
_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git
