[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #5 from Richard W.M. Jones <rjones at redhat.com> 2010-05-22 02:32:54 EDT ---
(In reply to comment #4)
> Can you try stripping these binaries.  If they still work after
> stripping, then we should ship them.

That is to say, we should ship them stripped.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.