* Henrik Austad | 2016-01-05 01:40:50 [+0100]: >diff --git a/include/linux/timer.h b/include/linux/timer.h >index 299d2b78591f..79889be97b3b 100644 >--- a/include/linux/timer.h >+++ b/include/linux/timer.h >@@ -225,7 +225,7 @@ extern void add_timer(struct timer_list *timer); > > extern int try_to_del_timer_sync(struct timer_list *timer); > >-#if defined(CONFIG_SMP) || defined(CONFIG_PREEMPT_RT_FULL) >+#if defined(CONFIG_SMP) && defined(CONFIG_PREEMPT_RT_FULL) I think I fixed this in the meantime (-rt3 once it is out) but this needs to be || here. > extern int del_timer_sync(struct timer_list *timer); > #else > # define del_timer_sync(t) del_timer(t) Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
