[Cocci] stripping renders spatch unusable [was: Starter issues
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