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
`. `'` http://people.debian.org/~madduck - http://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 :
http://lists.alioth.debian.org/pipermail/logcheck-devel/attachments/20070505/2c7f9a2b/attachment.pgp