On 05/24/2007 07:11 AM, Rene Herman wrote:
Okay. I would by the way not be against turning the timestamping off
by default and turning it _on_ with a "timestamps" or "logtime" or
whatever option.
Yes I only now looked. Sorry, didn't realise that was how it already worked.
CONFIG_PRINTK_TIME seems a little silly in that case but _someone_ thought
it was worth spending an option on, so hey...
Rene.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
[Index of Archives]
[Kernel Newbies]
[Netfilter]
[Bugtraq]
[Photo]
[Stuff]
[Gimp]
[Yosemite News]
[MIPS Linux]
[ARM Linux]
[Linux Security]
[Linux RAID]
[Video 4 Linux]
[Linux for the blind]
[Linux Resources]
