On Mon, Aug 18, 2008 at 05:46:50PM +0200, Xavier Leroy wrote: > 2- If this isn't practical, it's not a big deal that a couple of > executables cannot be stripped. Other packagers (e.g. RedHat and > Mandriva) have had no problems in the past turning stripping off on > a case-by-case basis.
Indeed this is true -- we tell people only to disable strip for the particular executables that have this problem. The other executables are stripped as normal. http://fedoraproject.org/wiki/Packaging/OCaml#Stripping_binaries Rich. -- Richard Jones Red Hat -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
