Anyone noticed strange signals (segfaults?) delivered to processes in latest Rawhide in Koji?

[Jerry James]

On Fri, Jul 27, 2012 at 11:08 AM, Richard W.M. Jones <rjones at redhat.com> wrote:
> Always the same process (ocamlopt.opt) and always on 32 bit only.
>
> The thing is, it *didn't* happen just 3 days ago.  Nothing has changed
> in the package, and ocamlopt.opt is the same as 3 days ago.

Well .... you may recall that I haven't been able to build coq
successfully for quite awhile.  The symptom there is apparently random
segfaults during the build, on 32-bit x86 only; I've never had the
problem with an x86_64 build.  Maybe this problem has been around
longer than you think, but something just made it more likely.  (Or
I'm hitting a different problem with the same symptoms.)
-- 
Jerry James
http://www.jamezone.org/