[Bug 564520] 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=564520

--- Comment #21 from Mark Rader <msrader at gmail.com> 2010-04-30 08:57:47 EDT ---
As an update:

I have fixed the following:
frama-c.spec:111: W: make-check-outside-check-section # make tests | grep
--silent "Ok  = 1579 of 1581"

>From reading the license and the comment above:
frama-c-devel.x86_64: W: invalid-license QPL with modifications
This does not appear to be an issue.

This error:
frama-c-devel.x86_64: W: spelling-error %description -l en_US plugins -> plug
ins, plug-ins, plugging
appears to be minor and more of annoyance.  I can not find anything relating to
this in the .spec file or in the source code.

As for the error unstripped-binary-or-object messages, I talked with David
Wheeler and the problem may be with an inproper stripping rather than the
binaries not being stripped.  I am not sure if this is actually necessary.

-- 
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.