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

[Richard W.M. Jones]

On Fri, Jul 27, 2012 at 11:32:57AM -0600, Jerry James wrote:
> 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.)

Yes, now I do recall that.  Also, I seem to remember that
it built OK (for me) locally, but not in Koji.  That would
be quite similar wouldn't it ...

Is there a BZ for the coq failure?

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into Xen guests.
http://et.redhat.com/~rjones/virt-p2v