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@xxxxxxxxx> 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 Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
