There is no binary. I also looked in all the usual places for an "unofficial" 
RPM that might exist, but no luck.

On Tuesday 22 May 2007 10:48, Noam Meltzer wrote:
> what error do you get when you run it?
> if you can find the "stap" binary, it is most likely that all you are
> missing afterwards is the kernel debug package.
>
> On 5/22/07, Shlomo Solomon <[EMAIL PROTECTED]> wrote:
> > Sorry not to have answered earlier, but I've had a busy week at work and
> > barely had time to look at my computer at home.
> >
> > In any case, as far as I can see, Mandriva does not support SystemTap, so
> > I
> > guess I'm back where I started.
> >
> > On Tuesday 22 May 2007 00:35, Noam Meltzer wrote:
> > > any luck?
> > >
> > > ---------- Forwarded message ----------
> > > From: Noam Meltzer <[EMAIL PROTECTED]>
> > > Date: May 18, 2007 9:59 PM
> > > Subject: Re: "spontaneous" umount
> > > To: [EMAIL PROTECTED]
> > > Cc: linux-il@cs.huji.ac.il
> > >
> > > Hi,
> > > Basically 'mounts' just don't disappear. So, the only possible
> >
> > explanation
> >
> > > is that some task on your machine umounts your partitions.
> > > Now, for the question "what?", I find it just the right time to
> >
> > experiment
> >
> > > with systemtap. (I truly hope that Mandriva 2007 already supports it)
> > >
> > > So, please find the attached systemtap script. It will probe for the
> >
> > umount
> >
> > > system call and will print you the pid and name of the process
> > > umounting your partitions as well as the parent's.
> > > See where it gets you.
> > >
> > > - Noam
> >
> > --
> > Shlomo Solomon
> > http://the-solomons.net
> > Sent by KMail (KDE 3.5.4) on LINUX Mandriva 2007
> >
> >
> > =================================================================
> > To unsubscribe, send mail to [EMAIL PROTECTED] with
> > the word "unsubscribe" in the message body, e.g., run the command
> > echo unsubscribe | mail [EMAIL PROTECTED]

-- 
Shlomo Solomon
http://the-solomons.net
Sent by KMail (KDE 3.5.4) on LINUX Mandriva 2007


=================================================================
To unsubscribe, send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]

Reply via email to