Reformat.
[bertos.git] / bertos / cfg / os.h
index 2089cc4fc1e977b69333b09ce7214a9d1339d12f..36e11eb5e9d4d85bbb5998955bf021f74d7ad6c6 100644 (file)
@@ -32,7 +32,6 @@
  *
  * \brief OS-specific definitions
  *
- * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
                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);         \