> The openSUSE RPM is generally installed in the system. Is the openSUSE RPM stripped? If so, we should contact the maintainer, because it is simply not possible to strip ocaml binaries that are built with the -custom option.
thanks, julia > I also manually > recompiled spatch from coccinelle-0.2.2 sources, moved the spatch binary > to the "x" directory (see above) to make sure it does not rely on any > paths other than /usr/share/coccinelle (from the rpm, also 0.2.2), then > went to strip it. > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
