Re: Coq build issues in F32

[Richard W.M. Jones]

On Fri, Mar 27, 2020 at 05:55:42PM -0600, Jerry James wrote:
>  On Fri, Mar 27, 2020 at 4:42 PM Jerry James
> <loganjerry(a)gmail.com&gt; wrote:
>  > Good idea.  Thank you!
>  
>  I got a segfault on s390x on the second build attempt.  I'd like to
>  investigate the ephemeron angle a bit, I think. 
No crashes here overnight, but I'll leave it running.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top