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? _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
