[lkml]   [2004]   [Dec]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [RFC] Splitting kernel headers and deprecating __KERNEL__
On Wed, Dec 01, 2004 at 05:41:25PM -0200, Alexandre Oliva wrote:
> Anyhow, all of this is beyond the point. I see you've decreed that
> people can introduce `user' directories in the kernel now. Would you
> please reconsider and choose a dir name that would enable the same ABI
> headers to be used by kernel and userland, without adding a directory
> to /usr/include that has no indication that it comes from the kernel?

As I've said before, this can be fixed with a sed script.

"Next the statesmen will invent cheap lies, putting the blame upon
the nation that is attacked, and every man will be glad of those
conscience-soothing falsities, and will diligently study them, and refuse
to examine any refutations of them; and thus he will by and by convince
himself that the war is just, and will thank God for the better sleep
he enjoys after this process of grotesque self-deception." -- Mark Twain
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2005-03-22 14:08    [W:0.144 / U:1.748 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site