Re: [PATCH] use printk.time option, drop time/notime

2007-05-29 Thread Jan Engelhardt
On May 29 2007 13:07, Andrew Morton wrote: > >> Allow printk_time to be enabled or disabled at boot time. >> Previously it could be enabled only, but not disabled. >> >> Change printk_time from an int to a bool since that's what it is. >> Make its logical (exposed) name just be "time" (was "print

Re: [PATCH] use printk.time option, drop time/notime

2007-05-29 Thread Andrew Morton
On Thu, 24 May 2007 17:15:35 -0700 Randy Dunlap <[EMAIL PROTECTED]> wrote: > Allow printk_time to be enabled or disabled at boot time. > Previously it could be enabled only, but not disabled. > > Change printk_time from an int to a bool since that's what it is. > Make its logical (exposed) name j