https://bugzilla.redhat.com/show_bug.cgi?id=1206826
--- Comment #11 from Jerry James <loganjerry(a)gmail.com> ---
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