Hi, martin f krafft, le Sat 05 May 2007 15:20:25 +0200, a ?crit :> I know of no kernels that generate these timestamps. How can I > reproduce this?It's the CONFIG_PRINTK_TIME option in the "kernel hacking" section of kernel configuration. samuel
also sprach Samuel Thibault <samuel.thibault at ens-lyon.org> [2007.05.05.1530 +0200]:> It's the CONFIG_PRINTK_TIME option in the "kernel hacking" section of > kernel configuration.That's not turned on on any Debian kernels, is it? I cannot really cater for custom kernels? would *every* kernel filter line need this? -- .''`. martin f. krafft <madduck at debian.org> : :' : proud Debian developer, author, administrator, and user `. `'` people.debian.org/~madduck - debiansystem.info `- Debian - when you have better things to do than fixing systems -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 189 bytes Desc: Digital signature (GPG/PGP) Url : lists.alioth.debian.org/pipermail/logcheck-devel/attachments/20070505/2c7f9a2b/attachment.pgp