On Fri, May 30, 2008 at 05:23:32PM +0800, Wenji Huang wrote: > [...] > > I think we need to cover the installed kernel-debuginfo case which will put > vmlinux under /usr/lib/debug/lib/modules/`uname -r`/ I believe the consensus was to just look under SYSTEMTAP_DEBUGINFO_PATH if specified and nowhere else, wasn't it? Ananth