https://bugzilla.redhat.com/show_bug.cgi?id=1206826
--- Comment #11 from Jerry James <[email protected]> --- Yesterday, z3 built successfully in mock for both i386 and x86_64. Today, it is failing in koji with a segfault while running the tests on i386, although x86_64 still succeeds. The immediate suspect is gcc, which changed from version 5.0.1-0.2 yesterday to version 5.1.1-1 today, but I don't know for sure that has anything to do with it. I can reproduce the problem by doing a mock build with the "local" repo enabled, which pulls the latest builds from kojipkgs.fedoraproject.org. Anyway, this package will unfortunately not be built until somebody (me, I suspect) has time to figure out what is going on, or until another package update magically fixes the problem without me needing to dig into it. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
