On Sun, Dec 02, 2001 at 11:06:37PM -0600, Michael Elizabeth Chastain wrote:
> Kernel profiling support (dead)
> CONFIG_PROFILE
> This option used to enable kernel profiling, but is now dead.
> Use the boot option "profile=" instead.
>
> Profile shift count (dead)
> CONFIG_PROFILE_SHIFT
> This option used to set the granularity of kernel profiling,
> but is now dead. Use the boot option "profile=" instead.
>
> My opinion is that as long as an option exists in the corpus, it is good
> to have help text for it, even if the help text says "this option is dead"
> or "this option is a merge artifact, don't bother setting it".
why bother ? Anyone using this needs to read man readprofile anyway.
regards
john
--
"Faced with the prospect of rereading this book, I would rather have
my brains ripped out by a plastic fork."
- Charles Cooper on "Business at the Speed of Thought"
_______________________________________________
kbuild-devel mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/kbuild-devel
