On Sun, Nov 02, 2003 at 01:04:26PM -0500, Andrew Moise wrote: > On Sun, 2003-11-02 at 10:53, Andr�s Rold�n wrote: > > Do you really think of this as a valgrind bug? > > Meanin' no disrespect, Mr. maintainer sir, but I do. Userspace > programs aren't supposed to include kernel headers (see e.g. > http://kt.zork.net/kernel-traffic/kt20010618_122.html#2 ); they're > supposed to duplicate the parts of the kernel headers they need. This > sort of problem is exactly why that's so. > valgrind already does the right thing sometimes (though it still > includes a lot of kernel headers also); some kernel header info has been > copied into vg_kerneliface.h and is used from there. IMO the ipc stuff > (and some ISDN stuff that's causing problems as well) should be copied > there. I'd be happy to give you a patch if you like; I already prodded > the thing into working again on my system.
Please do post the patch. I'd like to see what was necessary. -- Daniel Jacobowitz MontaVista Software Debian GNU/Linux Developer -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
