On Tuesday 12 June 2007, David Smith wrote:
I'm OK with that. From later in your email it looks like you
are
shooting for /lib/modules/`uname -r`/systemtap, which seems reasonable.
Without knowing a thing about
systemtap, /lib/modules/`uname -r`/extra/systemtap could be better, that's
what the "extra" dir exists for.