Module: xenomai-forge
Branch: master
Commit: 2ca888284930f92c7053ff29be6ec1c08993b671
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=2ca888284930f92c7053ff29be6ec1c08993b671

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Mon Nov  7 21:32:01 2011 +0100

hal: add missing include

---

 kernel/cobalt/arch/generic/hal.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/kernel/cobalt/arch/generic/hal.c b/kernel/cobalt/arch/generic/hal.c
index 30f2020..353637a 100644
--- a/kernel/cobalt/arch/generic/hal.c
+++ b/kernel/cobalt/arch/generic/hal.c
@@ -40,6 +40,9 @@
 #include <asm/system.h>
 #include <asm/irq.h>
 #include <asm/xenomai/hal.h>
+#ifdef CONFIG_PROC_FS
+#include <linux/proc_fs.h>
+#endif /* CONFIG_PROC_FS */
 #include <stdarg.h>
 
 MODULE_LICENSE("GPL");


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to