[Cocci] stripping renders spatch unusable [was: Starter issues with spatch]

Julia Lawall julia at diku.dk
Thu Mar 25 14:34:36 CET 2010

On Thu, 25 Mar 2010, Jan Engelhardt wrote:

> On Thursday 2010-03-25 14:15, Julia Lawall wrote:
> >> The openSUSE RPM is generally installed in the system.
> >
> >Is the openSUSE RPM stripped?
> Currently yes because strip is the default.
> >If so, we should contact the maintainer, 
> That would be me.
> And that's why I wondered why it won't work :)
> >because it is simply not possible to strip ocaml binaries that are built 
> >with the -custom option.
> What does -custom do? Can it be dropped?

I think it is for static linking, but I'm not sure.  Perhaps someone else 
on the list knows...


More information about the Cocci mailing list