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

bugzilla at redhat.com bugzilla at redhat.com
Sun Jun 6 18:32:18 UTC 2010


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 #22 from Mark Rader <msrader at gmail.com> 2010-06-06 14:32:13 EDT ---
David

I did a koji test run and it builds for FC 12 it bombs for FC and greater. 
Complains that it can not find a patch.  I will try and puzzle it out for now
this is the results.

Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=2233753
None
Watching tasks (this may be safely interrupted)...
2233753 build (dist-f12, frama-c-1.4-3.fc12.src.rpm): free
2233753 build (dist-f12, frama-c-1.4-3.fc12.src.rpm): free -> open
(x86-06.phx2.fedoraproject.org)
  2233754 buildArch (frama-c-1.4-3.fc12.src.rpm, ppc): open
(ppc04.phx2.fedoraproject.org)
  2233756 buildArch (frama-c-1.4-3.fc12.src.rpm, ppc64): free
  2233755 buildArch (frama-c-1.4-3.fc12.src.rpm, x86_64): free
  2233757 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): free
  2233755 buildArch (frama-c-1.4-3.fc12.src.rpm, x86_64): free -> open
(x86-02.phx2.fedoraproject.org)
  2233756 buildArch (frama-c-1.4-3.fc12.src.rpm, ppc64): free -> open
(ppc04.phx2.fedoraproject.org)
  2233757 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): free -> open
(x86-03.phx2.fedoraproject.org)
  2233757 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): open
(x86-03.phx2.fedoraproject.org) -> closed
  0 free  4 open  1 done  0 failed
  2233755 buildArch (frama-c-1.4-3.fc12.src.rpm, x86_64): open
(x86-02.phx2.fedoraproject.org) -> closed
  0 free  3 open  2 done  0 failed

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



More information about the package-review mailing list