Messages in this thread | | | Date | Wed, 1 Dec 2004 19:54:50 +0000 | From | Matthew Wilcox <> | Subject | Re: [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 majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |