[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