[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 #34 from Mark Rader <msrader at gmail.com> 2010-07-05 12:48:49 EDT ---
I completed the koji build and all built successfully under FC-14.

Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=2296280
None
Watching tasks (this may be safely interrupted)...
2296280 build (dist-f14, frama-c-1.4-4.fc12.src.rpm): free
2296280 build (dist-f14, frama-c-1.4-4.fc12.src.rpm): free -> open
(xb-01.phx2.fedoraproject.org)
  2296282 buildArch (frama-c-1.4-4.fc12.src.rpm, i686): free
  2296281 buildArch (frama-c-1.4-4.fc12.src.rpm, x86_64): open
(xb-01.phx2.fedoraproject.org)
  2296282 buildArch (frama-c-1.4-4.fc12.src.rpm, i686): free -> open
(x86-09.phx2.fedoraproject.org)
  2296282 buildArch (frama-c-1.4-4.fc12.src.rpm, i686): open
(x86-09.phx2.fedoraproject.org) -> closed
  0 free  2 open  1 done  0 failed
  2296281 buildArch (frama-c-1.4-4.fc12.src.rpm, x86_64): open
(xb-01.phx2.fedoraproject.org) -> closed
  0 free  1 open  2 done  0 failed
2296280 build (dist-f14, frama-c-1.4-4.fc12.src.rpm): open
(xb-01.phx2.fedoraproject.org) -> closed
  0 free  0 open  3 done  0 failed

2296280 build (dist-f14, frama-c-1.4-4.fc12.src.rpm) completed successfully

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