Explicit dependancy between CONFIG_KERN_PREEMPT and CONFIG_KERN.

[bertos.git] / bertos / cfg / os.h

diff --git a/bertos/cfg/os.h b/bertos/cfg/os.h
index 2089cc4fc1e977b69333b09ce7214a9d1339d12f..2e393599df04aa7a18dfb1b1a5604ca3c90c33fe 100644 (file)
--- a/bertos/cfg/os.h
+++ b/bertos/cfg/os.h
@@ -111,7 +111,7 @@
                sigismember(&sigs__, SIGALRM) ? false : true; \
         })
 
-       #if CONFIG_KERN_PREEMPT
+       #if (CONFIG_KERN && CONFIG_KERN_PREEMPT)
                #define DECLARE_ISR_CONTEXT_SWITCH(vect)        \
                        void vect(UNUSED_ARG(int, arg));        \
                        INLINE void __isr_##vect(void);         \