Doc fixes.

[bertos.git] / drv / timer.c

diff --git a/drv/timer.c b/drv/timer.c
index 45ce64b44a892165bb5247c9d7b63c1b49fbdf58..0e756dbb6cb01c435062380cbd60536d0e165520 100644 (file)
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -74,7 +74,9 @@
 
 #if CONFIG_KERNEL
        #include <config_kern.h>
-       #include <hw/switch.h>
+       #if CONFIG_KERN_PREEMPTIVE
+               #include <hw/switch.h>
+       #endif
        #if CONFIG_KERN_SIGNALS
                #include <kern/signal.h> /* sig_wait(), sig_check() */
                #include <kern/proc.h>   /* proc_current() */