On Fri, Jul 27, 2012 at 05:04:47PM -0400, Seth Vidal wrote: > > > > 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@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 > > If you can - test on your own system on an el6 vm. Does Koji still use Xen, or is it now on qemu-kvm? > Also - does this build need to connect to the external world at any point? Definitely not :-) Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://et.redhat.com/~rjones/virt-top -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
