Hi all, After merging the tip tree, today's linux-next build (x86_64 allnoconfig) produced this warning: kernel/printk/printk.c:1983:12: warning: 'printk_time' defined but not used [-Wunused-variable] static int printk_time; ^ Introduced by commit 310b454a8653 ("printk: Add monotonic, boottime, and realtime timestamps") -- Cheers, Stephen Rothwell -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html