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(a)gmail.com>
>>>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
>>Same as before; the binaries are created successfully, but coqdoc
>>eventually segfaults on 32-bit x86 after some apparently random number
>>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
>Seth got me the IP addr where ocamlopt.opt was segfaulting,
>which is a good start:
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
Definitely not :-)
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.