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

[Seth Vidal]

On Fri, 27 Jul 2012, Richard W.M. Jones wrote:

> On Fri, Jul 27, 2012 at 02:22:09PM -0600, Jerry James wrote:
>> On Fri, Jul 27, 2012 at 11:45 AM, Jerry James <loganjerry at gmail.com> wrote:
>>> No, I never filed one.  I've never been sure whether it was a coq
>>> problem, an ocaml problem, or something else.  I also haven't tried
>>> building for awhile.  I'm going to fire off a scratch build and see
>>> what happens.
>>
>> Same as before; the binaries are created successfully, but coqdoc
>> eventually segfaults on 32-bit x86 after some apparently random number
>> of runs:
>>
>> http://koji.fedoraproject.org/koji/taskinfo?taskID=4336975
>>
>> The coq build may be a good one for tripping over whatever is wrong
>> because of the sheer number of times coqdoc is invoked during the
>> build.
>
> Seth got me the IP addr where ocamlopt.opt was segfaulting,
> which is a good start:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=843731#c4

If you can - test on your own system on an el6 vm.

Also - does this build need to connect to the external world at any point?

B/c our builders are.... ummm.... fairly well isolated.

-sv